Abstract is missing.
- Free Variables and Theories: Revisiting Rigid E-unificationPeter Backeman, Philipp Rümmer. 3-13 [doi]
- Decidable Description Logics of Context with Rigid RolesStephan Böhme, Marcel Lippmann. 17-32 [doi]
- ELFranz Baader, Gerhard Brewka, Oliver Fernandez Gil. 33-48 [doi]
- Reasoning in Expressive Description Logics under Infinitely Valued Gödel SemanticsStefan Borgwardt, Rafael Peñaloza. 49-65 [doi]
- NRCL - A Model Building Approach to the Bernays-Schönfinkel FragmentGábor Alagi, Christoph Weidenbach. 69-84 [doi]
- First-Order Logic Theorem Proving and Model Building via Approximation and InstantiationAndreas Teucke, Christoph Weidenbach. 85-100 [doi]
- An Expressive Model for Instance Decomposition Based Parallel SAT SolversTobias Philipp. 101-116 [doi]
- Weakly Equivalent ArraysJürgen Christ, Jochen Hoenicke. 119-134 [doi]
- A Decision Procedure for Regular Membership and Length Constraints over Unbounded StringsTianyi Liang, Nestan Tsiskaridze, Andrew Reynolds, Cesare Tinelli, Clark Barrett. 135-150 [doi]
- Adapting Real Quantifier Elimination Methods for Conflict Set ComputationMaximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine. 151-166 [doi]
- A New Acceleration-Based Combination Framework for Array PropertiesFrancesco Alberti, Silvio Ghilardi, Natasha Sharygina. 169-185 [doi]
- Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid AutomataWerner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans. 186-202 [doi]
- A Completion Method to Decide Reachability in Rewrite SystemsGuillaume Burel, Gilles Dowek, Ying Jiang. 205-219 [doi]
- Axiomatic Constraint Systems for Proof Search Modulo TheoriesDamien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin. 220-236 [doi]
- Formalizing Soundness and Completeness of UnravelingsSarah Winkler, René Thiemann. 239-255 [doi]
- Proofs and ReconstructionsNik Sultana, Christoph Benzmüller, Lawrence C. Paulson. 256-271 [doi]
- A Rewriting Approach to the Combination of Data Structures with Bridging TheoriesPaula Chocron, Pascal Fontaine, Christophe Ringeissen. 275-290 [doi]
- Unification and Matching in Hierarchical Combinations of Syntactic TheoriesSerdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. 291-306 [doi]
- Combining Forward and Backward PropagationAmira Zaki, Slim Abdennadher, Thom W. Frühwirth. 307-322 [doi]
- Random Forests for Premise SelectionMichael Färber, Cezary Kaliszyk. 325-340 [doi]
- Lemmatization for Stronger Reasoning in Large TheoriesCezary Kaliszyk, Josef Urban, Jirí Vyskocil. 341-356 [doi]