Login / Signup
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems.
Gérard P. Huet
Published in:
J. ACM (1980)
Keyphrases
</>
term rewriting systems
logic programs
high level
query processing
database
general purpose
data management
cost model