( en | de | ru )

 

Disambiguation of "Pattinson, Dirk"

Author of the publication

copydeleteadd this publication to your clipboard
Generic Modal Cut Elimination Applied to Conditional Logics.

, and . TABLEAUX, volume 5607 of Lecture Notes in Computer Science, page 280-294. Springer, (2009)

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)

Dieter Dirksen

Dorothea Dirksen

Richard Dirkmann

Heinrich Dirksen

 

Other publications of authors with the same name

Denotational semantics of hybrid automata., and . J. Log. Algebraic Methods Program., 73 (1-2): 3-21 (2007)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)EXPTIME Tableaux for the Coalgebraic mu-Calculus, , and . Log. Methods Comput. Sci., (2011)Modal meet-implication logic., and . CoRR, (2020)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)Modular Formalisation and Verification of STV Algorithms., , , and . E-Vote-ID, volume 11143 of Lecture Notes in Computer Science, page 51-66. Springer, (2018)Generic Modal Cut Elimination Applied to Conditional Logics., and . TABLEAUX, volume 5607 of Lecture Notes in Computer Science, page 280-294. Springer, (2009)