Mechanically certifying formula-based Noetherian induction reasoning

Stratulat Sorin

首页> 外文期刊>Journal of symbolic computation >Mechanically certifying formula-based Noetherian induction reasoning

【24h】

Mechanically certifying formula-based Noetherian induction reasoning

机译：机械验证基于公式的Noetherian归纳推理

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

In first-order logic, the formula-based instances of the Noetherian induction principle allow to perform effectively simultaneous, mutual and lazy induction reasoning. Compared to the term-based Noetherian induction instances, they are not directly supported by the current proof assistants.

机译：在一阶逻辑中，基于公式的Noetherian归纳原理实例可以有效地执行同时，相互和惰性的归纳推理。与基于术语的Noetherian归纳实例相比，当前的证明助手没有直接支持它们。

著录项

来源
《Journal of symbolic computation》 |2017年第1期|209-249|共41页
作者
Stratulat Sorin;
展开▼
作者单位

Univ Lorraine, LITA, Dept Comp Sci, F-57000 Metz, France;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Noetherian induction; Cyclic induction proofs; Implicit induction proofs; Proof certification; Coq; SPIKE;

机译：Noetherian归纳;循环归纳证明;隐含归纳证明;证明证明;Coq;SPIKE;

相似文献

外文文献
中文文献
专利

1. Contextual factors and clinical reasoning: differences in diagnostic and therapeutic reasoning in board certified versus resident physicians [J] . Elexis McBee, Temple Ratcliffe, Katherine Picho, BMC Medical Education . 2017,第1期

机译：情境因素和临床推理：董事会认证和住院医师在诊断和治疗推理上的差异
2. Is skin disinfection before subcutaneous injection necessary? The reasoning of Certified Nurses in Infection Control in Japan [J] . Yuko Yoshida, Risa Takashima, Rika Yano PLoS One . 2021,第1期

机译：皮肤消毒是必要的皮下注射之前吗？日本感染控制中的认证护士的推理
3. Backward Induction versus Forward Induction Reasoning [J] . Andres Perea Games . 2010,第3期

机译：后向归纳与前向归纳推理
4. Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities [C] . Sorin Stratulat Rewriting Techniques and Applications . 2008

机译：将重写与Noether归纳法结合到不可定向的平等的推理上
5. Natural Methods of Induction of Labour: Use by Certified Professional Midwives in an Out-of-Hospital Setting. [D] . Andrusiak, Melissa. 2014

机译：引诱劳工的自然方法：由经过认证的专业助产士在院外使用。
6. Contextual factors and clinical reasoning: differences in diagnostic and therapeutic reasoning in board certified versus resident physicians [O] . Elexis McBee, Temple Ratcliffe, Katherine Picho, 2017

机译：情境因素和临床推理：董事会认证和住院医师在诊断和治疗推理上的差异
7. Mechanically Certifying Formula-based Noetherian Induction Reasoning [O] . Stratulat, Sorin 2017

机译：机械式基于公式的Noether归纳推理

Mechanically certifying formula-based Noetherian induction reasoning

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅