Inductive proofs by specification transformations-Reference-Cited by-同舟云学术

Inductive proofs by specification transformations

Published:1989 Issue: Volume: Page:76-91
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Comon Hubert

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-51081-8_101.pdf

Reference22 articles.

1. L. Bachmair. Proof by consistency in equational theories. In Proc. 3rd IEEE Symp. Logic in Computer Science, Edinburgh, July 1988.

2. H. Comon and P. Lescanne. Equational Problems and Disunification. Research Report Lifia 82 Imag 727, Univ. Grenoble, May 1988. To appear in J. Symbolic Computation.

3. H. Comon. An effective method for handling initial algebras. In Proc. 1st Workshop on Algebraic and Logic Programming, Gaussig, 1988.

4. H. Comon. Unification et Disunification: Théorie et Applications. Thèse de Doctorat, I.N.P. de Grenoble, France, 1988.

5. H. Comon and J.-L. Remy. How to Characterize the Language of Ground Normal Forms. Research Report 676, INRIA, June 1987.

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

1. Constraint Solving on Terms;Constraints in Computational Logics;2001

2. Specification and proof in membership equational logic;Theoretical Computer Science;2000-04

3. System description: An equational constraints solver;Automated Deduction — CADE-15;1998

4. Specification and proof in membership equational logic;TAPSOFT '97: Theory and Practice of Software Development;1997

5. Unification in sort theories and its applications;Annals of Mathematics and Artificial Intelligence;1996-09