Solving disequations modulo some class of rewrite systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1379, Issue , 1998, Pages 121-135

  Limet, Sébastien ^a   Réty, Pierre ^a  

^a UNIVERSITÉ D'ORLÉANS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

EQUATIONAL THEORY; EXISTENCE OF SOLUTIONS; LINEAR EQUALITY; REWRITE SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 84958750834     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0052365     Document Type: Conference Paper

References (10)

1. A. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proceedings 21st ACM Symposium on Principle of Programming Languages, Portland, pages 268-279, 1994.
2. H. Comon. Disunification: a Survey. In J.-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson. MIT Press, 1991.
3. H. Comon. Complete Axiomatizations of some Quotient Term Algebras. Theoretical Computer Science, 118(2), 1993.
4. H. Comon, M. Haberstrau, and J.-P. Jouannaud. Syntacticness, Cycle- Syntacticness and Shallow Theories. Information and Computation, 111(1):154-191, 1994.
5. N. Dershowitz and J.-P. Jouannaud. Rewrite Systems. In J. Van Leuven, editor, Handbook of Theoretical Computer Science. Elsevier Science Publishers, 1990.
6. M. Fernández. Narrowing Based Procedures for Equational Disunification. Applicable Algebra in Engineering Communication and Computing, 3:1-26, 1992.
7. E. Giovannetti, G. Levi, C. Moiso, and C. Palamidessi. Kernel LEAF: a Logic plus Functional Language. The Journal of Computer and System Sciences, 42(3):139-185, 1991.
8. J.-M. Hullot. Canonical Forms and Unification. In W. Bibel and R. Kowalski, editors, Proceedings 5th International Conference on Automated Deduction, Les Arcs (France), volume 87 of LNCS, pages 318-334. Springer-Verlag, 1980.
9. S. Limet and P. Réty. E-Unification by Means of Tree Tuple Synchronized Grammars. Discrete Mathematics and Theoritical Computer Science (http://www.chapmanhall.com/dm), 1:69-98, 1997.
10. J.J. Moreno-Navarro and M. Rodriguez-Artalejo. Logic Programming with Functions and Predicates: The Language BABEL. Journal of Logic Programming, 12(3):191-223, 1992.