( en | de | ru )

 

Disambiguierung von "Lange, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic.

, , und . Fundam. Informaticae, 178 (1-2): 1-30 (2021)

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.

Martin Lange

Martin Lange

Martin Lange

Martin Lange

Martin Lange

 

Weitere Publikationen von Autoren mit dem selben Namen

Local higher-order fixpoint iteration., , , und . Inf. Comput., 289 (Part): 104963 (2022)Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics., , und . EXPRESS/SOS, Volume 339 von EPTCS, Seite 10-26. (2021)Local Higher-Order Fixpoint Iteration., , , und . GandALF, Volume 326 von EPTCS, Seite 97-113. (2020)A Similarity Measure for Formal Languages Based on Convergent Geometric Series., , und . CIAA, Volume 13266 von Lecture Notes in Computer Science, Seite 80-92. Springer, (2022)The Calculus of Temporal Influence., , , und . TIME, Volume 278 von LIPIcs, Seite 10:1-10:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Model Checking Timed Recursive CTL., und . TIME, Volume 206 von LIPIcs, Seite 12:1-12:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Fundamental Limits in Formal Verification of Message-Passing Neural Networks., und . ICLR, OpenReview.net, (2023)On guarded transformation in the modal μ-calculus., , und . Logic Journal of the IGPL, 23 (2): 194-216 (2015)The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity, , und . GandALF, Volume 96 von EPTCS, Seite 113-126. (2012)The Modal μ-Calculus Caught Off Guard., und . TABLEAUX, Volume 6793 von Lecture Notes in Computer Science, Seite 149-163. Springer, (2011)