History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger |
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book |
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch |
Rewrite Methods for Theorem Proving in First Order Theory with Equality / J. Hsiang |
Unification in Combinations of Collapse-Free Regular Theories / K.A. Yellick |
Unification Problems with One-Sided Distributivity / E. Tiden ; S. Arnborg |
Complexity of Matching Problems / D. Benanav ; D. Kapur ; P. Narendran |
Index |
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger |
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book |
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch |