First Page | Document Content | |
---|---|---|
Date: 2018-10-25 12:43:22Formal 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 2Add to Reading ListSource URL: jorgenavas.github.ioDownload Document from Source WebsiteFile Size: 168,05 KBShare Document on Facebook |