Author:
Huet Gerard,Hullot Jean-Marie
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference20 articles.
1. Mechanizing Structural Induction;Aubin,1976
2. Proving theorems about LISP functions;Boyer;J. Assoc. Comput. Mach.,1975
3. A Computational Logic;Boyer,1979
4. Proving properties of programs by structural induction;Burstall;Comput. J.,1969
5. Orderings for term-rewriting systems;Dershowitz,1979
Cited by
147 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. CycleQ: an efficient basis for cyclic equational reasoning;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
4. Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection;IEICE Transactions on Information and Systems;2019-02-01
5. Rewriting induction for constrained inequalities;Science of Computer Programming;2018-04