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 5 to 8 of 8
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-

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