skip to main content
Primo Search
Search in: Busca Geral

Generalizing determinization from automata to coalgebras

Silva, Alexandra ; Bonchi, Filippo ; Bonsangue, Marcello ; Rutten, Jan

Logical methods in computer science, 2013-03, Vol.9, Issue 1 (1) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.