ADDCT 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index Additional files

Shortcuts: B C E F G K N P R S T W

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