1 | -- | 8 | Dieter Hutter. Deduction as an Engineering Science |
9 | -- | 21 | Thomas Hillenbrand. Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER |
22 | -- | 34 | Silvio Ghilardi. Quantifier Elimination and Provers Integration |
35 | -- | 48 | Cesare Tinelli, Calogero G. Zarba. Combining Non-Stably Infinite Theories |
49 | -- | 60 | Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba. A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions |
61 | -- | 75 | Thierry Boy de la Tour, Mnacho Echenim. On Leaf Permutative Theories and Occurrence Permutation Groups |
76 | -- | 90 | Sébastien Limet, Gernot Salzer. Manipulating Tree Tuple Languages by Transforming Logic Programs |
91 | -- | 104 | Nicolas Peltier. A Resolution-based Model Building Algorithm for a Fragment of OCC1N= |
105 | -- | 119 | Silvio Ranise, David Déharbe. Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs |
120 | -- | 132 | Nachum Dershowitz. Canonicity |
133 | -- | 146 | Guillaume Feuillade, Thomas Genet. Reachability in Conditional Term Rewriting Systems |
147 | -- | 152 | Josef Urban. MPTP 0.1: System Description |
153 | -- | 161 | Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso. VOTE: Group Editors Analyzing Tool: System Description |
162 | -- | 173 | Hans Zantema, Jan Friso Groote. Transforming equality logic to propositional logic |
174 | -- | 189 | Mateja Jamnik, Predrag Janicic. Learning Strategies for Mechanised Building of Decision Procedures |
190 | -- | 203 | Hantao Zhang, Haiou Shen, Felip Manyà. Exact Algorithms for MAX-SAT |
204 | -- | 205 | Ingo Dahn, Laurent Vigneron. Preface |