Coalgebraic Methods in Computer Science
Abstract
Book Front Matter of LNCS 12094
Domains
| Origin | Explicit agreement for this submission |
|---|---|
| licence |
Books
Year : 2020
Connect in order to contact the contributor
https://inria.hal.science/hal-03232344
Submitted on : Monday, July 3, 2023-5:21:50 PM
Last modification on : Friday, May 17, 2024-4:10:02 PM
Long-term archiving on : Thursday, October 5, 2023-9:50:03 AM
Dates and versions
Licence
Identifiers
- HAL Id : hal-03232344 , version 1
- DOI : 10.1007/978-3-030-57201-3
Cite
Daniela Petrişan, Jurriaan Rot. Coalgebraic Methods in Computer Science. Springer International Publishing, LNCS-12094, 2020, Lecture Notes in Computer Science, 978-3-030-57200-6. ⟨10.1007/978-3-030-57201-3⟩. ⟨hal-03232344⟩
Collections
185
View
153
Download