Data | Título | Autor(es) | Tipo | Acesso |
Fev-2014 | Algebra - coalgebra duality in Brzozowski's minimization algorithm | Bonchi, Filippo; Rutten, Jan; Panangaen, Prakash, et al. | Artigo | Acesso aberto |
2008 | Coalgebraic logic and synthesis of mealy machines | Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra | Artigo em ata de conferência | Acesso aberto |
2012 | A coalgebraic perspective on linear weighted automata | Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele, et al. | Artigo | Acesso aberto |
2012 | Final semantics for decorated traces | Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana, et al. | Artigo | Acesso aberto |
2009 | A Kleene theorem for polynomial coalgebras | Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra | Artigo em ata de conferência | Acesso aberto |
2011 | Quantitative kleene coalgebras | Rutten, Jan; Bonsangue, Marcello; Bonchi, Filippo, et al. | Artigo | Acesso aberto |