Coalgebraic Methods in Computer Science
Résumé
Book Front Matter of LNCS 7399
Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2012
Hal Ifip : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01539886
Soumis le : jeudi 15 juin 2017-15:02:48
Dernière modification le : jeudi 12 octobre 2023-11:48:05
Dates et versions
Licence
Identifiants
- HAL Id : hal-01539886 , version 1
- DOI : 10.1007/978-3-642-32784-1
Citer
Dirk Pattinson, Lutz Schröder. Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers. Springer, LNCS-7399, 2012, Coalgebraic Methods in Computer Science, ⟨10.1007/978-3-642-32784-1⟩. ⟨hal-01539886⟩
Collections
93
Consultations
83
Téléchargements