Publications

Found 2 results

Author [ Title] Type Year

Filters: Author is Ruy J. G. B. de Queiroz  [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 

F

Ramos MV, de Queiroz RJ, Moreira N, Almeida JC. Formalization of context-free language theory 2015.Edit

Ramos MV, de Queiroz RJ, Moreira N, Almeida JC. Formalization of the pumping lemma for context-free languages 2015.Edit