Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent.

Masahiko Sakai Mizuhito Ogawa

Published in: Inf. Process. Lett. (2010)

Keyphrases

term rewriting systems
functional programs
logic programs
question answering
natural language processing
helmholtz principle
wall street journal
information extraction
information retrieval
data model
logic programming