Login / Signup
Church-Rosser Properties of Weakly Terminating Term Rewriting Systems.
Jean-Pierre Jouannaud
Hélène Kirchner
Jean-Luc Rémy
Published in:
IJCAI (1983)
Keyphrases
</>
term rewriting systems
functional programs
desirable properties
database