A Context-Free Linear Ordering with an Undecidable First-Order Theory.

Arnaud Carayol Zoltán Ésik

Published in: IFIP TCS (2012)

Keyphrases

context free
context dependent
context sensitive
grammatical inference
finite state
context free grammars
inductive inference
attribute grammars
first order logic
artificial intelligence
parse tree
grammar rules
sufficient conditions
computational model
partial order