Path Orderings for Termination of Associative-Commutative Rewriting.

Nachum Dershowitz Subrata Mitra

Published in: CTRS (1992)

Keyphrases

termination analysis
shortest path
active rules
presburger arithmetic
machine learning
artificial intelligence
optimal path
rewriting systems
search engine
special case
query language
endpoints
query rewriting
type checking
term rewriting