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 1 results
Author
Title
Type
[
Year
]
Filters:
Author
is
Frank Drewes
[Clear All Filters]
2015
Broda S
,
Cavadas S
,
Ferreira M
,
Moreira N
.
Deciding Synchronous Kleene Algebra with Derivatives
. In:
Drewes F
, editor. Implementation and Application of Automata, 20th International Conference (CIAA 2015). Vol 9223.; 2015. 4. p. 49-62p. (LNCS; vol 9223).
Edit
] 