Travelled to:1 × Austria
1 × Canada
1 × United Kingdom
Collaborated with:R.Goré D.Gorín D.Pattinson L.Schröder T.Wißmann
Talks about:optim (2) logic (2) coalgebra (1) tableaux (1) proposit (1) procedur (1) tableau (1) satisfi (1) generic (1) convers (1)
Person: Florian Widmann
DBLP: Widmann:Florian
Contributed to:
20142010
2009Wrote 3 papers:
- IJCAR-2014-GorinPSWW #algebra #hybrid #logic #named
- Cool — A Generic Reasoner for Coalgebraic Hybrid Logics (DG, DP, LS, FW, TW), pp. 396–402.
- IJCAR-2010-GoreW #logic
- Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse (RG, FW), pp. 225–239.
- CADE-2009-GoreW #on the fly #satisfiability
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (RG, FW), pp. 437–452.