Back to Results
First PageMeta Content
Formal languages / Language / Culture / Grammar / Context-free grammar / Formal grammar / Context-free language / Regular language / Regular grammar / Model checking / Conjunctive grammar


A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2
Add to Reading List

Document Date: 2018-10-25 12:43:22


Open Document

File Size: 168,05 KB

Share Result on Facebook