Publications

On the Formalization of Some Results of Context-Free Language Theory

AuthID
P-00K-Q6M

Author(s)

Midena Ramos, MVM

de Queiroz, RJGB

Moreira, N

Bacelar Almeida, JCB

Editor(s)

Vaananen, J; Hirvonen, A; DeQueiroz, R

Document Type

Proceedings Paper

Year published

2016

Published

in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 9803, Pages: 338-357 (20)

Conference

23Rd International Workshop on Logic, Language, Information and Computation (Wollic), Date: AUG 16-19, 2016, Location: Benemerita Univ Autonoma Puebla, Dept Comp Sci, Puebla, MEXICO, Sponsors: Interest Grp Pure & Appl Log, Assoc Log Language & Informat, Assoc Symbol Log, European Assoc Theoret Comp Sci, European Assoc Comp Sci Log, Soc Brasileira Computacao, Soc Brasileira Logica, Host: Benemerita Univ Autonoma Puebla, Dept Comp Sci

Indexing