|
41
|
Control Flow Semantics
– J de Bakker, E de Vink
- 1996
|
|
24
|
Duality for logics of transition systems
– M Bonsangue, A Kurz
- 2005
|
|
22
|
Presenting functors by operations and equations
– M Bonsangue, A Kurz
- 2006
|
|
12
|
Boolean algebras with operators, part 1
– B Jónsson, A Tarski
- 1951
|
|
14
|
Algebraic semantics for coalgebraic logics
– C Kupke, A Kurz, D Pattinson
- 2004
|
|
4
|
Operations and equations for coalgebras
– A Kurz, J Rosick´y
|
|
24
|
Expressive Logics for Coalgebras via Terminal Sequence Induction
– Dirk Pattinson, D- Mnchen
- 2002
|
|
16
|
Algebraic-coalgebraic specification in CoCasl
– Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
- 2006
|
|
8
|
On expressivity and compositionality in logics for coalgebras
– C Cîrstea
- 2003
|
|
5
|
Observational Ultraproducts of Polynomial Coalgebras
– Robert Goldblatt
- 2002
|
|
5
|
A coalgebraic view on positive modal logic
– A Palmigiano
|
|
21
|
Synthetic topology of data types and classical spaces
– Martín Escardó
- 2004
|
|
11
|
Elements of the general theory of coalgebras. LUATCS’99
– H P Gumm
- 1999
|
|
4
|
Coalgebras and Modal Logic - Course Notes for ESSLLI 2001
– A Kurz
- 2001
|
|
9
|
Topological Dualities in Semantics
– Marcello M. Bonsangue, Topological Dualities, Semantics Marcello, M. Bonsangue, Cover Frouke, M. Visser, Marcello M. Bonsangue, Academisch Proefschrift, De Boelelaan, Marcello Maria Bonsangue
- 1996
|
|
9
|
Duality beyond Sober Spaces: Topological Spaces and Observation Frames
– Marcello Bonsangue, Bart Jacobs, Joost Kok
- 1995
|
|
4
|
Towards a calculus of software components
– L Barbosa
|
|
6
|
The least fibred lifting and the expressivity of coalgebraic modal logic
– Bartek Klin
- 2005
|
|
4
|
Boolean algebras with operators, part 2
– B Jónsson, A Tarski
- 1952
|
