- Modular Algorithms for Heterogeneous Modal Logics Lutz Schroder1
- CMCS'04 Preliminary Version Algebraic Semantics for Coalgebraic Logics
- Optimal Tableau Algorithms for Coalgebraic Rajeev Gore1
- Nominals for Everyone Lutz Schroder
- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
- CMCS'03 Preliminary Version Computable Functions on Final Coalgebras
- Admissibility of Cut in Coalgebraic Logics Dirk Pattinson1
- Shallow Models for Non-Iterative Modal Logics Lutz Schroder1
- Electronic Notes in Theoretical Computer Science 65 No. 1 (2007) URL: http://www.elsevier.nl/locate/entcs/volume65.html 18 pages
- Cut Elimination in Coalgebraic Logics Dirk Pattinson
- Ultrafilter Extensions for Coalgebras , A. Kurz 2
- An Introduction to the Theory of Dirk Pattinson
- Modal Logics are Coalgebraic Corina C^irstea1
- A Complete Temporal and Spatial Logic for Distributed Dirk Pattinson1
- (x) = v(x, f(x)), f(0) = 0, v : O R2 O R2
- London Mathematical Society ISSN 14611570 A DOMAIN THEORETIC ACCOUNT OF PICARD'S THEOREM
- Towards Coalgebraic Specification of Rewriting Dirk Pattinson
- Continuous Functions on Final Coalgebras Neil Ghani 1
- CMCS'01 Preliminary Version Modal Languages for Coalgebras in a
- Modal Logics are Coalgebraic Corina C^irstea
- Denotational Semantics of Hybrid Automata Abbas Edalat1
- Coalgebraic Modal Logic: Soundness, Completeness and Decidability of Local Consequence
- Rank-1 Modal Logics are Coalgebraic Lutz Schroder1
- PSPACE Bounds for Rank-1 Modal Logics LUTZ SCHRODER
- T Set Z
- T T X TX
- Coalgebraic Correspondence Theory Lutz Schroder 1
- Symposium on Theoretical Aspects of Computer Science year (city), pp. numbers www.stacs-conf.org
- EXPTIME Tableaux for the Coalgebraic -Calculus Corina C^irstea1
- Coalgebraic Hybrid Logic , Dirk Pattinson 1
- How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics
- PSPACE Bounds for Rank-1 Modal Logics Lutz Schroder
- Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields
- A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems
- A Domain Theoretic Account of Picard's Theorem and D. Pattinson2
- Making Components Move: A Separation of Concerns Dirk Pattinson, Martin Wirsing
- Translating Logics for Coalgebras Dirk Pattinson
- Semantical Principles in the Modal Logic of Dirk Pattinson
- CMCS'2000 Preliminary Version Coalgebras, Cofibrations and Concurrency
- 4th International Joint Conference on Automated Reasoning
- Domain-Theoretic Formulation of Linear Boundary Value Problems
- Modular Construction of Complete Coalgebraic Logics
- N L = {in , out , open } N (P, -) = P
- 1 t H (t) H
- Symposium on Theoretical Aspects of Computer Science year (city), pp. numbers www.stacs-conf.org
- Modular Construction of Modal Logics Corina C^irstea1
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Rank-1 Modal Logics are Coalgebraic Lutz Schroder
- The Coalgebraic Logic Satisfiability Solver (System Description)
- Inverse and Implicit Functions in Domain Theory Abbas Edalat, Dirk Pattinson
- WRLA 2000 Preliminary Version Modal Logic for Rewriting Theories
- How to Cover without Lifting Relations Dirk Pattinson
- On the Fusion of coalgebraic logics Fredrik Dahlqvist and Dirk Pattinson
- Hybrid Logic with the Difference Modality for Generalisations of Graphs
- Global Caching for Coalgebraic Description Logics Rajeev Gore1
- GENERIC MODAL CUT ELIMINATION APPLIED TO CONDITIONAL DIRK PATTINSON AND LUTZ SCHRODER
- Coalgebraic Semantics of Modal Logics: an Overview Clemens Kupke and Dirk Pattinson
- Under consideration for publication in Math. Struct. in Comp. Science Modular Algorithms
- Logical Methods in Computer Science Vol. ? (?:?) 2???, ? pages
- Description Logics and Fuzzy Probability Lutz Schroder
- On Modal Logics of Linear Inequalities Clemens Kupke Dirk Pattinson
- Towards Effects in Mathematical Operational Faris Abou-Saleh Dirk Pattinson
- Optimal Tableaux for Conditional Logics with Cautious Monotonicity1
