Publications

Found 4 results
Author Title [ Type(Desc)] Year
Filters: Author is Sílvia Cavadas  [Clear All Filters]
Papers in national peer reviewed journals
Carvalho M, Cavadas S. Playing in the limit. Vol 69 Bol. Soc. Port. Mat. 2013.Edit
Preprint
[2014-36] Broda S, Cavadas S, Moreira N. Derivative Based Methods for Deciding SKA and SKAT DCC-FC & CMUP, Universidade do Porto .Edit
[2014-37] Broda S, Cavadas S, Moreira N. Kleene Algebra Completeness DCC-FC & CMUP, Universidade do Porto .Edit
Proceedings of international conferences (peer reviewed)
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
Error | CMUP

Error

The website encountered an unexpected error. Please try again later.