The following pages link to Florian Bruse (Q1685774):
Displaying 19 items.
- Space-efficient fragments of higher-order fixpoint logic (Q1685775) (← links)
- Temporal logic with recursion (Q2051830) (← links)
- Local higher-order fixpoint iteration (Q2105477) (← links)
- A similarity measure for formal languages based on convergent geometric series (Q2164738) (← links)
- Alternating Parity Krivine Automata (Q2922007) (← links)
- On guarded transformation in the modal -calculus (Q4644509) (← links)
- The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic (Q4989164) (← links)
- (Q5015272) (← links)
- (Q5015273) (← links)
- (Q5021005) (← links)
- On the relationship between higher-order recursion schemes and higher-order fixpoint logic (Q5370859) (← links)
- Temporal Logic with Recursion. (Q6060093) (← links)
- The tail-recursive fragment of timed recursive CTL (Q6077845) (← links)
- Model Checking Timed Recursive CTL. (Q6080277) (← links)
- Weights of formal languages based on geometric series with an application to automatic grading (Q6144019) (← links)
- Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures. (Q6168438) (← links)
- A Decidable Non-Regular Modal Fixpoint Logic (Q6176107) (← links)
- Model checking timed recursive CTL (Q6543268) (← links)
- Separating the expressive power of propositional dynamic and modal fixpoint logics (Q6643745) (← links)
