Terminal Coalgebras for Measure-Polynomial Functors
From MaRDI portal
Publication:3630218
DOI10.1007/978-3-642-02017-9_35zbMath1241.68085OpenAlexW1601949003MaRDI QIDQ3630218
Publication date: 3 June 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02017-9_35
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Lattice properties of congruences for stochastic relations ⋮ Maximal traces and path-based coalgebraic temporal logics ⋮ Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Unnamed Item
This page was built for publication: Terminal Coalgebras for Measure-Polynomial Functors
