Normalised Rewriting and Normalised Completion (1994)

Cached

Download Links

by Claude Marche
Citations:19 - 2 self

Documents Related by Co-Citation

152 Completion of a set of rules modulo a set of equations – Jean-Pierre Jouannaud, Hélène Kirchner - 1986
138 Complete sets of reductions for some equational theories – G E Peterson, M E Stickel - 1981
811 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
548 Simple word problems in universal algebra – D Knuth, P Bendix - 1970
404 Confluent reductions: Abstract properties and applications to term rewriting systems – G Huet - 1980
486 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
290 ORDERINGS FOR TERM-REWRITING SYSTEMS – Nachum Dershowitz - 1982
1134 Term Rewriting and All That – F Baader, T Nipkow - 1998
848 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996