Coalgebraic Methods in Computer Science
Abstract
Book Front Matter of LNCS 9608
Domains
| Origin | Files produced by the author(s) |
|---|
Books
Year : 2016
Hal Ifip : Connect in order to contact the contributor
https://inria.hal.science/hal-01446038
Submitted on : Wednesday, January 25, 2017-3:24:43 PM
Last modification on : Friday, February 28, 2025-3:12:03 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-01446038 , version 1
- DOI : 10.1007/978-3-319-40370-0
Cite
Ichiro Hasuo. Coalgebraic Methods in Computer Science. Springer, LNCS-9608, 2016, Coalgebraic Methods in Computer Science, 978-3-319-40369-4. ⟨10.1007/978-3-319-40370-0⟩. ⟨hal-01446038⟩
Collections
84
View
690
Download