Term rewriting: Some experimental results
- 1 January 1991
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 11 (1-2) , 149-180
- https://doi.org/10.1016/s0747-7171(08)80136-8
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Non-Horn clause logic programming without contrapositivesJournal of Automated Reasoning, 1988
- Set theory in first-order logic: Clauses for Gödel's axiomsJournal of Automated Reasoning, 1986
- Depth-first iterative-deepeningArtificial Intelligence, 1985
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- A simplified problem reduction formatArtificial Intelligence, 1982
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980