M. Roggenbach
AuthID: R-00G-DFC
1
TÃTULO: Towards bialgebraic semantics for the linear time - Branching time spectrum
AUTORES: Maldonado, AP; Monteiro, L ; Roggenbach, M;
PUBLICAÇÃO: 2012, FONTE: 20th International Workshop on Algebraic Development Techniques, WADT 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7137 LNCS
AUTORES: Maldonado, AP; Monteiro, L ; Roggenbach, M;
PUBLICAÇÃO: 2012, FONTE: 20th International Workshop on Algebraic Development Techniques, WADT 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7137 LNCS
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef