Pages that link to "Item:Q1273560"
From MaRDI portal
The following pages link to Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998 (Q1273560):
Displaying 8 items.
- Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010) (Q453219) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures (Q1604010) (← links)
- Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14--15, 2018. Revised selected papers (Q1790610) (← links)
- Some co-Birkhoff type theorems (Q2842554) (← links)
- Preface to Special Issue: Coalgebraic methods in computer science (Q4408804) (← links)
- When is a function a fold or an unfold? (Q4917036) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)