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
Casey Meijer
[Clear All Filters]
2016
Konstantinidis S
,
Meijer C
,
Moreira N
,
Reis R
.
Implementation of Code Properties via Transducers
. In: Implementation and Application of Automata, 21th International Conference (CIAA 2016).; 2016.
Edit
2015
Konstantinidis S
,
Meijer C
,
Moreira N
,
Reis R
.
Symbolic Manipulation of Code Properties
2015.
Edit