Browsing by Author SÃlvia Cavadas
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type |
---|---|---|---|
2015 | Deciding synchronous Kleene algebra with derivatives | Sabine Broda; SÃlvia Cavadas; Miguel Ferreira; Nelma Moreira | Artigo em Livro de Atas de Conferência Internacional |