Article Dans Une Revue
Logical Methods in Computer Science
Année : 2013
Filippo Bonchi : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00909339
Soumis le : mardi 26 novembre 2013-10:55:09
Dernière modification le : jeudi 11 mai 2023-11:56:10
Dates et versions
Identifiants
- HAL Id : hal-00909339 , version 1
- ARXIV : 1302.1046
- DOI : 10.2168/LMCS-9(1:9)2013
Citer
Alexandra Silva, Filippo Bonchi, Marcello Bonsangue, Jan Rutten. Generalizing determinization from automata to coalgebras.. Logical Methods in Computer Science, 2013, 9 (1), pp.9(1). ⟨10.2168/LMCS-9(1:9)2013⟩. ⟨hal-00909339⟩
Collections
69
Consultations
0
Téléchargements