Negation elimination in equational formulae-Reference-Cited by-同舟云学术

Negation elimination in equational formulae

Published:1992 Issue: Volume: Page:191-199
ISSN:0302-9743
Container-title:Mathematical Foundations of Computer Science 1992
language:
Short-container-title:

Author:

Comon Hubert,Fernández Maribel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55808-X_17

Reference13 articles.

1. H. Comon and M. Fernandez. Negation elimination in equational formulae. Research Report 716, Laboratoire de Recherche en Informatique, Univ. Paris-Sud, France, December 1991.

2. Hubert Comon. Complete axiomatization.s of some quotient term algebras. In Proc. ICALP, Madrid, LNCS 510, July 1991.

3. Hubert Comon. Disunification: a survey. In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson. MIT Press, 1991.

4. Hubert Comon and Pierre Lescanne. Equational problems and disunification. J. 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 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Nominal Equational Problems;Lecture Notes in Computer Science;2021

2. Finite Models in FOL-Based Crypto-Protocol Verification;Foundations and Applications of Security Analysis;2009

3. AC complement problems: Satisfiability and negation elimination;Rewriting Techniques and Applications;1993

4. AC complement problems: Satisfiability and negation elimination;Rewriting Techniques and Applications;1993