research

Publications

Formalization of context-free language theory

CoRR | 2015 | misc

Publication

Year of publication: 2015

Volume : abs/1510.09092

Pages :

Month :

CMUP publication : Yes

Authors

JoseCarlosBacelar Almeida

MarcusV.M. Ramos

RuyJ.G.B.de Queiroz