Skip to main content
CMUP
Search form
Search
Log in
CMUP
About
Members
Direction board
Advisory board
Contact
News
Partners & Collaborators
Editions
Memories
CMUP's old webpage
Research
Research areas
Publications
Preprints
Theses
Bibliographic resources
Projects
Current research projects
Past research projects
GEMAC
Outreach projects
Art and Mathematics
Bibliakos
INIGMA
Mathematics at FCUP
Mathematics Promotion
Pólya
Summer School
Events
Courses
Conferences
Seminars
Publications
Found 2 results
Author
Title
Type
[
Year
]
Filters:
Author
is
Ruy J. G. B. de Queiroz
[Clear All Filters]
2015
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