BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Widmann:Florian

Contributed to:

IJCAR 20142014
IJCAR 20102010
CADE 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.