( en | de | ru )

 

Disambiguation of "Pattinson, Dirk"

Author of the publication

copydeleteadd this publication to your clipboard
EXPTIME Tableaux for the Coalgebraic µ-Calculus.

, , and . CSL, volume 5771 of Lecture Notes in Computer Science, page 179-193. 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)Modal meet-implication logic., and . CoRR, (2020)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)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)Vote Counting as Mathematical Proof., and . Australasian Conference on Artificial Intelligence, volume 9457 of Lecture Notes in Computer Science, page 464-475. Springer, (2015)Description Logics and Fuzzy Probability., and . IJCAI, page 1075-1081. IJCAI/AAAI, (2011)