Remarks on Jurdzinski and Lorys' proof that palindromes are not a Church-Rosser language

Colm Ó'Dúnlaing Natalie Schluter

Published in: CoRR (2007)

Keyphrases

programming language
language learning
neural network
information systems
natural language
specification language
language acquisition
data mining
relational databases
theorem proving
conceptual graphs
linguistic knowledge
operational semantics