Searching for authors named "Dirk Pattinson" – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
Talk II: Simple (Co)Induction Principles
- …Talk II: Simple (Co)Induction Principles Dirk Pattinson 8th May 2001 Assume for the remainder…
- Add To MetaCart
-
Coalgebraic modal logic: Soundness, completeness and decidability of local consequence
- …Coalgebraic Modal Logic: Soundness, Completeness and Decidability of Local Consequence Dirk…
- Cited by 26 (10 self) – Add To MetaCart
-
Expressive Logics for Coalgebras via Terminal Sequence Induction
- …Expressive Logics for Coalgebras via Terminal Sequence Induction Dirk Pattinson Institut fr…
- Cited by 19 (7 self) – Add To MetaCart
-
Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic
- … Alexander Kurz 1 CWI P.O. Box 94079, 1090 GB Amsterdam The Netherlands Dirk Pattinson 2 Ludwig…
- Cited by 5 (3 self) – Add To MetaCart
-
A complete temporal and spatial logic for distributed systems
- …A Complete Temporal and Spatial Logic for Distributed Systems ⋆ Dirk Pattinson 1 and Bernhard Reus…
- Cited by 1 (0 self) – Add To MetaCart
-
Making Components Move: A Separation of Concerns Approach
- …Making Components Move: A Separation of Concerns Approach ? Dirk Pattinson, Martin Wirsing…
- Cited by 3 (2 self) – Add To MetaCart
-
Coalgebraic Modal Logic of Finite Rank
- …, The Netherlands Dirk Pattinson email: pattinsoinformatik.uni-muenchen.de Institut for Informatik, Ludwig…
- Cited by 7 (3 self) – Add To MetaCart
-
Denotational semantics of hybrid automata
- …Denotational Semantics of Hybrid Automata 1 Introduction Abbas Edalat, Dirk Pattinson 1 Department…
- Cited by 4 (4 self) – Add To MetaCart
-
Domain-theoretic solution of differential equations (scalar fields
- … and Dirk Pattinson Department of Computing, Imperial College London November 29, 2006 The major problem…
- Cited by 8 (6 self) – Add To MetaCart
-
Modular Construction of Modal Logics
- …Modular Construction of Modal Logics Corina Crstea 1 and Dirk Pattinson 2 1 School…
- Cited by 13 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
