Coalgebraic Methods in Computer Science
Abstract
Book Front Matter of LNCS 7399
Books
Year : 2012
Connect in order to contact the contributor
https://inria.hal.science/hal-01539886
Submitted on : Thursday, June 15, 2017-3:02:48 PM
Last modification on : Thursday, October 12, 2023-11:48:05 AM
Dates and versions
Licence
Identifiers
- HAL Id : hal-01539886 , version 1
- DOI : 10.1007/978-3-642-32784-1
Cite
Dirk Pattinson, Lutz Schröder. Coalgebraic Methods in Computer Science. Springer, LNCS-7399, 2012, Coalgebraic Methods in Computer Science, ⟨10.1007/978-3-642-32784-1⟩. ⟨hal-01539886⟩
Collections
329
View
122
Download