Florian Widmann

Identifiers

• name variant Florian Widmann 0.60 · backfill

Papers (2)

1. Optimal and Cut-free Tableaux for Propositional Dynamic Logic with Converse cs.LO · 2010 · author #2
2. An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability cs.LO · 2007 · author #3

Mentions

• 1002.0172 #2 · backfill · confidence 0.70 Florian Widmann
• 0711.1016 #3 · backfill · confidence 0.70 Florian Widmann

Frequent Coauthors

• Rajeev Gor\'e 2 shared papers
• Pietro Abate 1 shared papers