( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The tail-recursive fragment of timed recursive CTL.

, и . Inf. Comput., (октября 2023)

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.

Martin Lange

Martin Lange

Martin Lange

Martin Lange

Martin Lange

 

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

A Similarity Measure for Formal Languages Based on Convergent Geometric Series., , и . CIAA, том 13266 из Lecture Notes in Computer Science, стр. 80-92. Springer, (2022)Local higher-order fixpoint iteration., , , и . Inf. Comput., 289 (Part): 104963 (2022)Local Higher-Order Fixpoint Iteration., , , и . GandALF, том 326 из EPTCS, стр. 97-113. (2020)Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics., , и . EXPRESS/SOS, том 339 из EPTCS, стр. 10-26. (2021)Fundamental Limits in Formal Verification of Message-Passing Neural Networks., и . ICLR, OpenReview.net, (2023)The Calculus of Temporal Influence., , , и . TIME, том 278 из LIPIcs, стр. 10:1-10:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Model Checking Timed Recursive CTL., и . TIME, том 206 из LIPIcs, стр. 12:1-12:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Model checking for hybrid branching-time logics., и . J. Log. Algebraic Methods Program., (2020)The tail-recursive fragment of timed recursive CTL., и . Inf. Comput., (октября 2023)The Arity Hierarchy in the Polyadic μ-Calculus.. FICS, том 191 из EPTCS, стр. 105-116. (2015)