Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Browsing by Author Widmann, Florian

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 1 to 8 of 8
02_Gore_An_Experimental_Comparison_of_2011.pdf.jpg

An Experimental Comparison of Theorem Provers for CTL

Author(s)Gore, Rajeev; Thomson, James; Widmann, Florian
TypeConference paper
Date Published2011
Date CreatedSeptember 12-14 2011
01_Abate_An_on-the-fly_Tableau-based_2009.pdf.jpg

An on-the-fly Tableau-based decision procedure for PDL-satisfiability

Author(s)Abate, Pietro; Gore, Rajeev; Widmann, Florian
TypeConference paper
Date Published2009
Date CreatedNovember 29-30 2007

An Optimal On-the-fly Tableau-based Decision Procedure for PDL satisfiability

Author(s)Gore, Rajeev; Widmann, Florian
TypeConference paper
Date Published2009
Date CreatedAugust 2-7 2009

COOL-A generic reasoner for coalgebraic hybrid logics (System description)

Author(s)Gorin, Daniel; Pattinson, Dirk; Schroder, Lutz, et al
TypeConference paper
Date Published2014
Date CreatedJuly 19-22 2014
01_Gore_Optimal_and_Cut-Free_Tableaux_2010.pdf.jpg

Optimal and Cut-Free Tableaux for propositional dynamic logic with converse

Author(s)Gore, Rajeev; Widmann, Florian
TypeConference paper
Date Published2010
Date CreatedJuly 16-19 2010

Solving graded/probabilistic modal logic via linear inequalities (system description)

Author(s)Snell, W.; Pattinson, Dirk; Widmann, Florian
TypeConference paper
Date Published2012
Date CreatedMarch 11-15 2012

Sound Global State Caching for ALC with Inverse roles

Author(s)Gore, Rajeev; Widmann, Florian
TypeConference paper
Date Published2009
Date CreatedJuly 6-10 2009
Widmann_Tableaux-based Decision Procedures_Thesis_2010.pdf.jpg

Tableaux-based decision procedures for fixed point logics

Author(s)Widmann, Florian
TypeThesis (PhD)
Date Published2010
Date Created-
  • previous
  • 1
  • next

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator