Abstract is missing.
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual ModelsAlessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. 1-11 [doi]
- Automatic Proof and Disproof in Isabelle/HOLJasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow. 12-27 [doi]
- Size-Change Termination and Satisfiability for Linear-Time Temporal LogicsMartin Lange. 28-39 [doi]
- Combining Theories: The Ackerman and Guarded FragmentsCarlos Areces, Pascal Fontaine. 40-54 [doi]
- On the Undecidability of Fuzzy Description Logics with GCIs and Product T-normFranz Baader, Rafael Peñaloza. 55-70 [doi]
- The Complexity of Reversal-Bounded Model-CheckingMarcello M. Bersani, Stéphane Demri. 71-86 [doi]
- Expressing Polymorphic Types in a Many-Sorted LanguageFrançois Bobot, Andrey Paskevich. 87-102 [doi]
- A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference ConstraintsRoberto Bruttomesso, Silvio Ghilardi, Silvio Ranise. 103-118 [doi]
- Superposition Modulo Non-linear ArithmeticAndreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach. 119-134 [doi]
- The Modal Logic of Equilibrium ModelsLuis Fariñas del Cerro, Andreas Herzig. 135-146 [doi]
- Harnessing First Order Termination Provers Using Higher Order Dependency PairsCarsten Fuhs, Cynthia Kop. 147-162 [doi]
- Stochastic Local Search for SMT: Combining Theory Solvers with WalkSATAlberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi. 163-178 [doi]
- Controlled Term RewritingFlorent Jacquemard, Yoshiharu Kojima, Masahiko Sakai. 179-194 [doi]
- Sharing Is Caring: Combination of TheoriesDejan Jovanovic, Clark Barrett. 195-210 [doi]
- Modular Termination and Combinability for Superposition Modulo Counter ArithmeticChristophe Ringeissen, Valerio Senni. 211-226 [doi]
- Congruence Closure of Compressed Terms in Polynomial TimeManfred Schmidt-Schauß, David Sabel, Altug Anis. 227-242 [doi]
- Generalized and Formalized UncurryingChristian Sternagel, René Thiemann. 243-258 [doi]
- A Semantic Account for Modularity in Multi-language Modelling of Search ProblemsShahab Tasharrofi, Eugenia Ternovska. 259-274 [doi]