Coalgebraic Methods in Computer Science
Abstract
Book Front Matter of LNCS 9608
Domains
Computer Science [cs]| 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 : Monday, May 17, 2021-12:00:04 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
62
View
674
Download