A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems.

Michio Oyamaguchi Yoshikatsu Ohta

Published in: RTA (1997)

Keyphrases

term rewriting systems
logic programs
functional programs
database
databases
data structure
machine learning
sufficient conditions
logic programming