Coalgebraic Methods in Computer Science
Abstract
Book Front Matter of LNCS 7399
Books
Year : 2012
Hal Ifip : 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: 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
View
83
Download