A Kleene Theorem for Polynomial Coalgebras
From MaRDI portal
Publication:3617725
DOI10.1007/978-3-642-00596-1_10zbMath1234.68272MaRDI QIDQ3617725
Marcello M. Bonsangue, Alexandra Silva, Jan J. M. M. Rutten
Publication date: 31 March 2009
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00596-1_10
68Q65: Abstract data types; algebraic specification
Related Items
Deriving Syntax and Axioms for Quantitative Regular Behaviours, A Kleene Theorem for Polynomial Coalgebras
Cites Work