Open problems in rewriting
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 42 references indexed in Scilit:
- Solving inequations in terms algebrasPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A new AC unification algorithm with an algorithm for solving systems of diophantine equationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Canonical Equational ProofsPublished by Springer Nature ,1991
- Complete sets of reductions modulo associativity, commutativity and identityPublished by Springer Nature ,1989
- Simulation of Turing machines by a left-linear rewrite rulePublished by Springer Nature ,1989
- Termination of rewriting systems by polynomial interpretations and its implementationScience of Computer Programming, 1987
- Systems of ReductionsLecture Notes in Computer Science, 1987
- Conditional rewrite rules: Confluence and terminationJournal of Computer and System Sciences, 1986
- n-level rewriting systemsTheoretical Computer Science, 1985
- Minimal and Optimal Computations of Recursive ProgramsJournal of the ACM, 1979