Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard P. Huet

Published in: FOCS (1977)

Keyphrases

term rewriting systems
high level
desirable properties
artificial intelligence
machine learning
knowledge base
general purpose
logic programs
higher level
functional programs