首页> 外文OA文献 >Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting

【2h】

Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting

机译：原始归纳定理桥梁隐式归纳方法和高阶重写中的归纳定理

页面导航

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

著录项

作者
Kusakari Keiichirou; Sakai Masahiko; Sakabe Toshiki;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting [J] . Keiichirou KUSAKARI, Masahiko SAKAI, Toshiki SAKABE IEICE Transactions on Information and Systems . 2005,第12期

机译：本原归纳定理桥接隐式归纳方法和高阶重写中的归纳定理
2. Natural Inductive Theorems for Higher-Order Rewriting [J] . Takahito Aoto, Toshiyuki Yamada, Yuki Chiba LIPIcs : Leibniz International Proceedings in Informatics . 2011,第1期

机译：高阶重写的自然归纳定理
3. Decision procedure for inductive theorems by rewriting induction [J] . Yoshihito Toyama 電子情報通信学会技術研究報告. コンピュテ-ション. Theoretical Foundations of Computing . 2002,第490期

机译：通过重写归纳法来归纳定理的决策程序
4. Inductive Theorems for Higher-Order Rewriting [C] . Takahito Aoto, Toshiyuki Yamada, Yoshihito Toyama Rewriting Techniques and Applications . 2004

机译：高阶重写的归纳定理
5. INDUCTIVE EXPLORATION IN HUMAN GEOGRAPHY: A TAXONOMIC ANALYSIS OF HIGHER-ORDER SHOPPING JOURNEYS (ORDINATION, METHODOLOGY, MULTI-DIMENSIONAL) [D] . SLACK, JOHN ANDREW 1984

机译：人类地理学中的启发性探索：高阶购物旅程的分类学分析（准则，方法论，多维）
6. Iterative methods of strong convergence theorems for the split feasibility problem in Hilbert spaces [O] . Yuchao Tang, Liwei Liu -1

机译：Hilbert空间中分裂可行性问题的强收敛定理的迭代方法
7. Natural Inductive Theorems for Higher-Order Rewriting [O] . Aoto Takahito, Yamada Toshiyuki, Chiba Yuki 2011

机译：高阶重写的自然归纳定理

Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting

著录项

引文网络

相似文献

相关主题

期刊订阅