Decidable Sentences of Church-Rosser Congruences.

Published in: Theor. Comput. Sci. (1983)

Keyphrases

natural language
sentence level
human generated
first order logic
database
integrity constraints
noun phrases
transitive closure
multi document summarization
datalog programs
linguistic features
sentence retrieval