Well-Pointed Coalgebras (Extended Abstract)

DOI10.1007/978-3-642-28729-9_6zbMath1352.68168OpenAlexW23395765MaRDI QIDQ2892761

Lawrence S. Moss, Stefan Milius, Jiří Adámek, Lurdes Sousa

Publication date: 22 June 2012

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-28729-9_6

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

On continuous nondeterminism and state minimality ⋮ Algebra-coalgebra duality in brzozowski's minimization algorithm ⋮ Constructive Modalities with Provability Smack

This page was built for publication: Well-Pointed Coalgebras (Extended Abstract)