Narrowing based procedures for equational disunification
- 1 March 1992
- journal article
- research article
- Published by Springer Nature in Applicable Algebra in Engineering, Communication and Computing
- Vol. 3 (1) , 1-26
- https://doi.org/10.1007/bf01189020
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Solving disequations in equational theoriesPublished by Springer Nature ,2005
- Proof by consistency in equational theoriesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Complete axiomatizations of some quotient term algebrasPublished by Springer Nature ,1991
- Rewrite SystemsPublished by Elsevier ,1990
- Inductive proofs by specification transformationsPublished by Springer Nature ,1989
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- A Strong restriction of the inductive completion procedureLecture Notes in Computer Science, 1986
- Design and implementation of a generic, logic and functional programming languagePublished by Springer Nature ,1986
- Proofs by induction in equational theories with constructorsJournal of Computer and System Sciences, 1982
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980