Strong Sequentiality of Left-Linear Overlapping Term Rewriting Systems

Yoshihito Toyama

Published in: LICS (1992)

Keyphrases

term rewriting systems
functional programs
logic programs
databases
artificial intelligence
high level
linear systems