A Unified Formalization of Context-Free Grammar Theory.

Tobias Nipkow, Fabian Lehr, Moritz Roos, Akihisa Yamada

Browse the full IJCAR paper archive.