( en | de | ru )

 

Disambiguierung von "Venema, Yde"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus.

, , und . LICS, Seite 478-487. IEEE Computer Society, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Johannes Venema

Barbara Venema

Christian Ydesen

Boudewijn Venema

Friedrich Hellmuth Venema

 

Weitere Publikationen von Autoren mit dem selben Namen

Completeness for Coalgebraic Fixpoint Logic., , und . CSL, Volume 62 von LIPIcs, Seite 7:1-7:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Completeness for flat modal fixpoint logics., und . Ann. Pure Appl. Log., 162 (1): 55-82 (2010)A Sahlqvist theorem for distributive modal logic., , und . Ann. Pure Appl. Log., 131 (1-3): 65-102 (2005)A note on the tense logic of dominoes.. J. Philosophical Logic, 21 (2): 173-182 (1992)Expressiveness of the modal mu-calculus on monotone neighborhood structures., , und . CoRR, (2015)A Modal Distributive Law (abstract).. WoLLIC, Volume 4576 von Lecture Notes in Computer Science, Seite 351. Springer, (2007)Logics and Algebras for Multiple Players., und . Rev. Symb. Log., 3 (3): 485-519 (2010)Lax Extensions of Coalgebra Functors., und . CMCS, Volume 7399 von Lecture Notes in Computer Science, Seite 150-169. Springer, (2012)Derivation Rules as Anti-Axioms in Modal Logic.. J. Symb. Log., 58 (3): 1003-1034 (1993)Generalised powerlocales via relation lifting., , und . Math. Struct. Comput. Sci., 23 (1): 142-199 (2013)