Sign in

Closure Properties of General Grammars - Formally Verified.

Martin DvorakJasmin Blanchette
Published in: ITP (2023)
Keyphrases
  • closure properties
  • expressive power
  • context free grammars
  • tree automata
  • special case
  • context free
  • knowledge base
  • conjunctive queries
  • structural properties
  • finite automata