|
Search the dblp DataBase
Alexander Kurz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alexander Kurz
A Co-Variety-Theorem for Modal Logic. [Citation Graph (0, 0)][DBLP] Advances in Modal Logic, 1998, pp:367-380 [Conf]
- Clemens Kupke, Alexander Kurz, Dirk Pattinson
Ultrafilter Extensions for Coalgebras. [Citation Graph (0, 0)][DBLP] CALCO, 2005, pp:263-277 [Conf]
- Michel Bidoit, Rolf Hennicker, Alexander Kurz
On the Duality between Observability and Reachability. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2001, pp:72-87 [Conf]
- Marcello M. Bonsangue, Alexander Kurz
Duality for Logics of Transition Systems. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:455-469 [Conf]
- Marcello M. Bonsangue, Alexander Kurz
Presenting Functors by Operations and Equations. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2006, pp:172-186 [Conf]
- Alexander Kurz
Logics Admitting Final Semantics. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:238-249 [Conf]
- Alexander Kurz
Notions of Behaviour and Reachable-Part and Their Institutions. [Citation Graph (0, 0)][DBLP] WADT, 2002, pp:312-327 [Conf]
- Alexander Kurz, Jirí Rosický
Weak Factorizations, Fractions and Homotopies. [Citation Graph (0, 0)][DBLP] Applied Categorical Structures, 2005, v:13, n:2, pp:141-160 [Journal]
- Rolf Hennicker, Alexander Kurz
(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
- Thomas Hildebrandt, Alexander Kurz
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:100, n:, pp:3-0 [Journal]
- Clemens Kupke, Alexander Kurz, Dirk Pattinson
Algebraic Semantics for Coalgebraic Logics. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:219-241 [Journal]
- Clemens Kupke, Alexander Kurz, Yde Venema
Stone Coalgebras. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
- Alexander Kurz
Modal Rules are Co-Implications. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
- Alexander Kurz
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:1, pp:- [Journal]
- Alexander Kurz
Specifying Coalgebras with Modal Logic. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
- Alexander Kurz, Dirk Pattinson
Notes on Coalgebras, Cofibrations and Concurrency. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
- Alexander Kurz, Dirk Pattinson
Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
- Alexander Kurz, Alessandra Palmigiano
Coalgebras and Modal Expansions of Logics. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:243-259 [Journal]
- Alexander Kurz, Jirí Rosický
Modal Predicates and Co-equations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
- Alexander Kurz, Dirk Pattinson
Coalgebraic modal logic of finite rank. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:3, pp:453-473 [Journal]
- Alexander Kurz, Jirí Rosický
Operations and equations for coalgebras. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:1, pp:149-166 [Journal]
- Michel Bidoit, Rolf Hennicker, Alexander Kurz
Observational logic, constructor-based logic, and their duality. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:3, n:298, pp:471-510 [Journal]
- Clemens Kupke, Alexander Kurz, Yde Venema
Stone coalgebras. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2004, v:327, n:1-2, pp:109-134 [Journal]
- Alexander Kurz
Specifying coalgebras with modal logic. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:260, n:1-2, pp:119-138 [Journal]
- Alexander Kurz, Rolf Hennicker
On institutions for modular coalgebraic specifications. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2002, v:280, n:1-2, pp:69-103 [Journal]
- Nick Bezhanishvili, Alexander Kurz
Free Modal Algebras: A Coalgebraic Perspective. [Citation Graph (0, 0)][DBLP] CALCO, 2007, pp:143-157 [Conf]
- Neil Ghani, Alexander Kurz
Higher Dimensional Trees, Algebraically. [Citation Graph (0, 0)][DBLP] CALCO, 2007, pp:226-241 [Conf]
- Alexander Kurz, Jirí Rosický
The Goldblatt-Thomason Theorem for Coalgebras. [Citation Graph (0, 0)][DBLP] CALCO, 2007, pp:342-355 [Conf]
- Marcello M. Bonsangue, Alexander Kurz
Pi-Calculus in Logical Form. [Citation Graph (0, 0)][DBLP] LICS, 2007, pp:303-312 [Conf]
- Alexander Kurz
Logic Column 15: Coalgebras and Their Logics [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
Completeness of the finitary Moss logic. [Citation Graph (, )][DBLP]
Modal Logics are Coalgebraic. [Citation Graph (, )][DBLP]
Algebraic Theories over Nominal Sets [Citation Graph (, )][DBLP]
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. [Citation Graph (, )][DBLP]
Equational Coalgebraic Logic. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.341secs
|