What is the coalgebraic analogue of Birkhoff's variety theorem?
- 6 September 2001
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 266 (1-2) , 853-886
- https://doi.org/10.1016/s0304-3975(00)00395-9
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Towards a Duality Result in Coalgebraic Modal LogicElectronic Notes in Theoretical Computer Science, 2000
- Universal coalgebra: a theory of systemsTheoretical Computer Science, 2000
- Hidden coinduction: behavioural correctness proofs for objectsMathematical Structures in Computer Science, 1999
- A Birkhoff-like Axiomatizability Result for Hidden Algebra and CoalgebraElectronic Notes in Theoretical Computer Science, 1998
- Specifying Coalgebras with Modal LogicElectronic Notes in Theoretical Computer Science, 1998
- Covarieties and Complete CovarietiesElectronic Notes in Theoretical Computer Science, 1998
- An approach to object semantics based on terminal co-algebrasMathematical Structures in Computer Science, 1995
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935