Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. H. J. Bürckert, A. Herold, and Manfred Schmidt-Schauß. On equational theories, unification and decidability. In Proc. Rewriting Techniques and Applications 87, Bordeaux, LNCS 256, pages 204–215. Springer-Verlag, May 1987. Also in C. Kirchner ed. Unification, Academic Press, 1990.
2. H. J. Bürckert. Solving disequations in equational theories. In Proc. 9th Conf. on Automated Deduction, Argonne, LNCS 310, Springer-Verlag, May 1988.
3. Hubert Comon and Pierre Lescanne. Equational problems and disunification. J. Symbolic Computation, 7:371–425, 1989.
4. Hubert Comon. Disunification: a survey. In Jean-Louis Lassez and Gordon Plötkin, editors, Computational Logic: Essays in Honor of Alan Robinson. MIT Press, 1990. to appear.
5. Hubert Comon. Equational formulas in order-sorted algebras. In Proc. ICALP, Warwick. Springer-Verlag, July 1990.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories;Programming Languages with Applications to Biology and Security;2015
2. Constraints in Term Algebras (Short Survey);Algebraic Methodology and Software Technology (AMAST’93);1994
3. Negation elimination in equational formulae;Mathematical Foundations of Computer Science 1992;1992
4. Complete axiomatizations of some quotient term algebras;Automata, Languages and Programming;1991