Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998
From MaRDI portal
Publication:1273560
zbMath0903.00067MaRDI QIDQ1273560
No author found.
Publication date: 8 December 1998
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Symbolic computation and algebraic computation (68W30) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (4)
When is a function a fold or an unfold? ⋮ A coalgebraic presentation of structured transition systems ⋮ Some Co-Birkhoff Type Theorems ⋮ Universal coalgebra: A theory of systems
This page was built for publication: Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998
