Abstract is missing.
- MetiTarski's Menagerie of Cooperating SystemsLawrence C. Paulson. 1-6 [doi]
- Combining Superposition and Induction: A Practical RealizationAbdelkader Kersani, Nicolas Peltier. 7-22 [doi]
- Definability of Accelerated Relations in a Theory of Arrays and Its ApplicationsFrancesco Alberti, Silvio Ghilardi, Natasha Sharygina. 23-39 [doi]
- Verification of Composed Array-Based Systems with Applications to Security-Aware WorkflowsClara Bertolissi, Silvio Ranise. 40-55 [doi]
- Presburger Arithmetic in Memory Access Optimization for Data-Parallel LanguagesRalf Karrenberg, Marek Kosta, Thomas Sturm. 56-70 [doi]
- Roughening the EnvelopeRafael Peñaloza, Tingting Zou. 71-86 [doi]
- Uniform Interpolation of -Ontologies Using FixpointsPatrick Koopmann, Renate A. Schmidt. 87-102 [doi]
- Abduction in Logic Programming as Second-Order Quantifier EliminationChristoph Wernhard. 103-119 [doi]
- Witness Runs for Counter MachinesClark Barrett, Stéphane Demri, Morgan Deters. 120-150 [doi]
- Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear OrdersPhilippe Balbiani, Szabolcs Mikulás. 151-164 [doi]
- Temporal Query Answering in the Description Logic DL-LiteStefan Borgwardt, Marcel Lippmann, Veronika Thost. 165-180 [doi]
- Verification of Golog Programs over Description Logic ActionsFranz Baader, Benjamin Zarrieß. 181-196 [doi]
- Specification and Verification of Linear Dynamical Systems: Advances and ChallengesJoël Ouaknine. 197 [doi]
- Obtaining Finite Local Theory Axiomatizations via SaturationMatthias Horbach, Viorica Sofronie-Stokkermans. 198-213 [doi]
- Non-cyclic Sorts for First-Order SatisfiabilityKonstantin Korovin. 214-228 [doi]
- Detection of First Order Axiomatic TheoriesGuillaume Burel, Simon Cruanes. 229-244 [doi]
- Mechanizing the Metatheory of SledgehammerJasmin Christian Blanchette, Andrei Popescu 0001. 245-260 [doi]
- From Resolution and DPLL to Solving Arithmetic ConstraintsKonstantin Korovin. 261-262 [doi]
- Tableaux for Relation-Changing Modal LogicsCarlos Areces, Raul Fervari, Guillaume Hoffmann. 263-278 [doi]
- Computing Minimal Models Modulo Subset-Simulation for Modal LogicsFabio Papacchini, Renate A. Schmidt. 279-294 [doi]
- Hybrid Unification in the Description LogicFranz Baader, Oliver Fernandez Gil, Barbara Morawska. 295-310 [doi]
- Disproving Confluence of Term Rewriting Systems by Interpretation and OrderingTakahito Aoto. 311-326 [doi]
- On Forward Closure and the Finite Variant PropertyChristopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran. 327-342 [doi]
- Term Rewriting with Logical ConstraintsCynthia Kop, Naoki Nishida. 343-358 [doi]