On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems.

Michio Oyamaguchi Yoshikatsu Ohta

Published in: IEICE Trans. Inf. Syst. (2004)

Keyphrases

open problems
term rewriting systems
database theory
long standing
functional programs
logic programs
artificial intelligence
machine learning