Coalgebraic Methods in Computer Science
Abstract
Book Front Matter of LNCS 8446
Domains
| Origin | Files produced by the author(s) |
|---|
Books
Year : 2014
Connect in order to contact the contributor
https://inria.hal.science/hal-01408765
Submitted on : Monday, December 5, 2016-1:28:07 PM
Last modification on : Monday, September 4, 2023-2:04:05 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-01408765 , version 1
Cite
Marcello M. Bonsangue. Coalgebraic Methods in Computer Science. Springer, LNCS-8446, 2014, Coalgebraic Methods in Computer Science, 978-3-662-44123-7. ⟨hal-01408765⟩
Collections
282
View
136
Download