The following pages link to Florian Widmann (Q2254248):
Displaying 9 items.
- Discrete and continuous models for partitioning problems (Q2254249) (← links)
- The minimum Manhattan network problem: Approximations and exact solutions (Q2432734) (← links)
- Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description) (Q2891469) (← links)
- One-Pass Tableaux for Computation Tree Logic (Q3498455) (← links)
- Sound Global State Caching for ALC with Inverse Roles (Q3648732) (← links)
- An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability (Q4982121) (← links)
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (Q5191118) (← links)
- The Minimum Manhattan Network Problem: A Fast Factor-3 Approximation (Q5449750) (← links)
- Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse (Q5747763) (← links)
