( en | de | ru )

 

Disambiguation of "Pattinson, Dirk"

Author of the publication

copydeleteadd this publication to your clipboard
Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description).

, , , , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 396-402. Springer, (2014)

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)

Heinrich Dirksen

Wolfgang Dirksen

Waltraud Dirks

Reiner Dirks

 

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)Schulze Voting as Evidence Carrying Computation., and . ITP, volume 10499 of Lecture Notes in Computer Science, page 410-426. Springer, (2017)Coalgebraic Predicate Logic: Equipollence Results and Proof Theory., , and . TbiLLC, volume 7758 of Lecture Notes in Computer Science, page 257-276. Springer, (2011)Denotational semantics of hybrid automata., and . J. Log. Algebraic Methods Program., 73 (1-2): 3-21 (2007)Modal meet-implication logic., and . CoRR, (2020)EXPTIME Tableaux for the Coalgebraic mu-Calculus, , and . Log. Methods Comput. Sci., (2011)On Modal Logics of Linear Inequalities., and . Advances in Modal Logic, page 235-255. College Publications, (2010)Modular Formalisation and Verification of STV Algorithms., , , and . E-Vote-ID, volume 11143 of Lecture Notes in Computer Science, page 51-66. Springer, (2018)Description Logics and Fuzzy Probability., and . IJCAI, page 1075-1081. IJCAI/AAAI, (2011)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)