Jancar's formal system for deciding bisimulation of first-order grammars and its non-soundness

Géraud Sénizergues

Published in: CoRR (2011)

Keyphrases

visual languages
formal language
context free grammars
higher order
first order logic
context free
model theoretic
natural language
formal model
grammatical inference
stochastic dominance
expert systems
deductive databases
optimal planning
context free languages
quantifier elimination