( en | de | ru )

 

Disambiguation of "Bruse, Florian"

Author of the publication

copydeleteadd this publication to your clipboard
The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic.

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

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.

Walter Bruse

Falk Brüse

Edith Bruse

Heilwig Bruse

Sabine Brüse

 

Other publications of authors with the same name

Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures., , and . MFCS, volume 202 of LIPIcs, page 24:1-24:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Temporal Logic with Recursion., and . TIME, volume 178 of LIPIcs, page 6:1-6:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Temporal logic with recursion., and . Inf. Comput., (2021)A Decidable Non-Regular Modal Fixpoint Logic., and . CONCUR, volume 203 of LIPIcs, page 23:1-23:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)On guarded transformation in the modal μ-calculus., , and . Logic Journal of the IGPL, 23 (2): 194-216 (2015)The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic., , and . Fundam. Informaticae, 178 (1-2): 1-30 (2021)Weights of formal languages based on geometric series with an application to automatic grading., , and . Theor. Comput. Sci., (February 2024)Verifying And Interpreting Neural Networks using Finite Automata., , , and . CoRR, (2022)On the relationship between higher-order recursion schemes and higher-order fixpoint logic., , and . POPL, page 246-259. ACM, (2017)Extremal fixpoints for higher-order modal logic.. University of Kassel, Germany, (2020)