Termination, AC-Termination and Dependency Pairs of Term Rewriting Systems (2000)

by Keiichirou Kusakari
Venue:Ph.D. thesis, JAIST
Citations:5 - 0 self

Active Bibliography

469 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
578 Term Rewriting Systems – J. W. Klop - 1992
11 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern, David Plaisted - 2007
229 Termination of Term Rewriting Using Dependency Pairs – Thomas Arts, Jürgen Giesl - 2000
2 Proving First-Order Equality Theorems with Hyper-Linking – Geoffrey David Alexander - 1995
84 Natural termination – Nachum Dershowitz, Charles Hoot
941 Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer – Peter W. Shor - 1997
1096 Learning Stochastic Logic Programs – Stephen Muggleton - 2000