Login / Signup

Church-Rosser Controller Rewriting Systems and Equivalence problems for Deterministic Context-Free Languages

Géraud Sénizergues
Published in: Inf. Comput. (1989)
Keyphrases
  • context free languages
  • rewriting systems
  • model checking
  • context free grammars