Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Hubert Comon. Unification et disunification: Théorie et applications. Thèse de Doctorat, Institut National Polytechnique de Grenoble, France, 1988.
2. Hubert Comon. Ground normal forms and inductive proofs. part I: complement problems. Submitted to Journal of Symbolic Computation, 1991.
3. Hubert Comon and Maribel Fernández. Negation elimination in equational formulae. In Proc. 17th Mathematical Foundations of Computer Science, Praha, 1992.
4. Hubert Comon and Pierre Lescanne. Equational problems and disunification. Journal of Symbolic Computation, 7:371–425, 1989.
5. Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 243–309. North-Holland, 1990.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献