Coalgebraic Methods in Computer Science
Abstract
Book Front Matter of LNCS 12094
Domains
Computer Science [cs]| Origin | Explicit agreement for this submission |
|---|---|
| licence |
Books
Year : 2020
Hal Ifip : 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
47
View
72
Download