( en | de | ru )

 

Disambiguation of "Pattinson, Dirk"

Author of the publication

copydeleteadd this publication to your clipboard
A Domain-Theoretic Account of Picard's Theorem.

, and . LMS J. Comput. Math., (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Daniel Dirkmann

In-vitro-Untersuchungen zum Effekt von Hypothermie und Azidose auf Variablen thrombelastometrischer Messungen der Blutgerinnung. Uni Duisburg-Essen, (2009)

Wolfgang Dirksen

Heinrich Dirksen

Dieter Dirksen

Dorothea Dirksen

 

Other publications of authors with the same name

Expressive Logics for Coalgebras via Terminal Sequence Induction.. Notre Dame J. Formal Log., 45 (1): 19-33 (2004)Coalgebraic Predicate Logic: Equipollence Results and Proof Theory., , and . TbiLLC, volume 7758 of Lecture Notes in Computer Science, page 257-276. Springer, (2011)Schulze Voting as Evidence Carrying Computation., and . ITP, volume 10499 of Lecture Notes in Computer Science, page 410-426. Springer, (2017)Denotational semantics of hybrid automata., and . J. Log. Algebraic Methods Program., 73 (1-2): 3-21 (2007)EXPTIME Tableaux for the Coalgebraic mu-Calculus, , and . Log. Methods Comput. Sci., (2011)Modal meet-implication logic., and . CoRR, (2020)Modular Formalisation and Verification of STV Algorithms., , , and . E-Vote-ID, volume 11143 of Lecture Notes in Computer Science, page 51-66. Springer, (2018)On Modal Logics of Linear Inequalities., and . Advances in Modal Logic, page 235-255. College Publications, (2010)Uniform Interpolation in Coalgebraic Modal Logic., , and . CALCO, volume 72 of LIPIcs, page 21:1-21:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Global Caching for Coalgebraic Description Logics., , , and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 46-60. Springer, (2010)