Signed trees : an algebraic frame for solving equations on binary trees ; application to LISP program synthesis and derecursivation

Veröffentlicht 1980

Modularity properities of term rewriting systems revisited

von Fernandez, M.
Veröffentlicht 1993

Solving equations in abstract algebras : A rule-based survey of unification

von Jouannaud, J.
Veröffentlicht 1990

Rewrite systems

von Dershowitz, N.
Veröffentlicht in Handbook Of Theoretical Computer Science, 1989 (1989)

Recursive decomposition ordering and multiset orderings

von Jouannaud, J.
Veröffentlicht 1982

Rewriting techniques and applications ; RTA ; International conference. proceedings. ; Selection of papers. may 1985

Veröffentlicht in Journal Of Symbolic Computation Vol 3(1987), 1/2. S. 1-216 (1987)

Construction automatique d'une base de donnees et de son langage interactif

von Treuil, J. P.
Veröffentlicht 1975

Recursive Decomposition Ordering

von Jouannaud, J. P.
Veröffentlicht 1982