Implicit induction in conditional theories-Reference-Cited by-同舟云学术

Implicit induction in conditional theories

Published:1995 Issue:2 Volume:14 Page:189-235
ISSN:0168-7433
Container-title:Journal of Automated Reasoning
language:en
Short-container-title:J Autom Reasoning

Author:

Bouhoula Adel,Rusinowitch Micha�l

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00881856.pdf

Reference30 articles.

1. Bachmair, L.: Proof by consistency in equational theories, inProc. 3rd IEEE Sympos. Logic in Computer Science, Cambridge, Mass., USA, 1988, pp. 228?233.

2. Basin, D. and Walsh, T.: Difference unification, inProc. 13th IJCAI, Morgan Kaufmann, Vol. 1, 1993, pp. 116?122.

3. Bevers, E.: Automated reasoning in conditional algebric specifications: Termination and proof by consistency, PhD Thesis, Katholieke Universiteit Leuven, Belgium, 1993.

4. Bouhoula, A.: Preuves automatiques par récurrence dans les théories conditionnelles, PhD Thesis, Université de Nancy I, 1994.

5. Bouhoula, A. and Rusinowitch, M.: Automatic case analysis in proof by induction, in Ru?ena Bajcsy (ed.),Proc. 13th Internat. Joint, Conf. Artificial Intellignece, Chambéry (France), Volume 1, Morgan Kaufmann, 1993, pp. 88?94.

Cited by 62 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. NuITP: An Inductive Theorem Prover for Equational Program Verification;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

2. On Ground Convergence and Completeness of Conditional Equational Program Hierarchies;Rewriting Logic and Its Applications;2022

3. SPIKE, an automatic theorem prover — revisited;2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2020-09

4. Generalized rewrite theories, coherence completion, and symbolic methods;Journal of Logical and Algebraic Methods in Programming;2020-01

5. Combining Induction and Saturation-Based Theorem Proving;Journal of Automated Reasoning;2019-03-28