VSL 2014: VIENNA SUMMER OF LOGIC 2014

B
Balbiani, Philippe	Decidability of Iteration-free PDL with Parallel Composition
Boudou, Joseph	Decidability of Iteration-free PDL with Parallel Composition
C
Cantone, Domenico	On dual tableau-based decision procedures for relational fragments
Chocron, Paula	Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
F
Fontaine, Pascal	Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
G
Golinska-Pilarek, Joanna	On dual tableau-based decision procedures for relational fragments
K
King, Tim	Finding Minimum Type Error Sources
N
Nicolosi-Asmundo, Marianna	On dual tableau-based decision procedures for relational fragments
P
Pavlinovic, Zvonimir	Finding Minimum Type Error Sources
Peltier, Nicolas	A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic
R
Ringeissen, Christophe	Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
Rydeheard, David	Axiomatic and Tableau-Based Reasoning for Kt(H,R)
S
Schmidt, Renate A.	Axiomatic and Tableau-Based Reasoning for Kt(H,R)
Stell, John	Axiomatic and Tableau-Based Reasoning for Kt(H,R)
W
Wies, Thomas	Finding Minimum Type Error Sources

Disclaimer | Powered by EasyChair Smart Program