( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
EXPTIME Tableaux for the Coalgebraic µ-Calculus.

, , и . CSL, том 5771 из Lecture Notes in Computer Science, стр. 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.

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

 

Другие публикации лиц с тем же именем

Coalgebraic Predicate Logic: Equipollence Results and Proof Theory., , и . TbiLLC, том 7758 из Lecture Notes in Computer Science, стр. 257-276. Springer, (2011)Denotational semantics of hybrid automata., и . J. Log. Algebraic Methods Program., 73 (1-2): 3-21 (2007)Schulze Voting as Evidence Carrying Computation., и . ITP, том 10499 из Lecture Notes in Computer Science, стр. 410-426. Springer, (2017)Expressive Logics for Coalgebras via Terminal Sequence Induction.. Notre Dame J. Formal Log., 45 (1): 19-33 (2004)EXPTIME Tableaux for the Coalgebraic mu-Calculus, , и . Log. Methods Comput. Sci., (2011)Modal meet-implication logic., и . CoRR, (2020)Modular Formalisation and Verification of STV Algorithms., , , и . E-Vote-ID, том 11143 из Lecture Notes in Computer Science, стр. 51-66. Springer, (2018)Uniform Interpolation in Coalgebraic Modal Logic., , и . CALCO, том 72 из LIPIcs, стр. 21:1-21:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes., , , , и . E-VOTE-ID, том 10615 из Lecture Notes in Computer Science, стр. 66-83. Springer, (2017)Global Caching for Coalgebraic Description Logics., , , и . IJCAR, том 6173 из Lecture Notes in Computer Science, стр. 46-60. Springer, (2010)