- Nik Sultana, Christoph Benzmüller
, Lawrence C. Paulson:
Proofs and Reconstructions. FroCos 2015: 256-271 - Andreas Teucke, Christoph Weidenbach:
First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation. FroCos 2015: 85-100 - Sarah Winkler, René Thiemann:
Formalizing Soundness and Completeness of Unravelings. FroCos 2015: 239-255 - Amira Zaki, Slim Abdennadher, Thom W. Frühwirth:
Combining Forward and Backward Propagation. FroCos 2015: 307-322 - Carsten Lutz, Silvio Ranise:
Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings. Lecture Notes in Computer Science 9322, Springer 2015, ISBN 978-3-319-24245-3 [contents] - 2013
- Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Definability of Accelerated Relations in a Theory of Arrays and Its Applications. FroCos 2013: 23-39 - Takahito Aoto:
Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering. FroCos 2013: 311-326 - Carlos Areces, Raul Fervari, Guillaume Hoffmann:
Tableaux for Relation-Changing Modal Logics. FroCos 2013: 263-278 - Franz Baader, Oliver Fernandez Gil, Barbara Morawska:
Hybrid Unification in the Description Logic. FroCos 2013: 295-310 - Franz Baader, Benjamin Zarrieß:
Verification of Golog Programs over Description Logic Actions. FroCos 2013: 181-196 - Philippe Balbiani, Szabolcs Mikulás:
Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders. FroCos 2013: 151-164 - Clark W. Barrett, Stéphane Demri, Morgan Deters:
Witness Runs for Counter Machines. FroCos 2013: 120-150 - Clara Bertolissi, Silvio Ranise:
Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows. FroCos 2013: 40-55 - Jasmin Christian Blanchette, Andrei Popescu:
Mechanizing the Metatheory of Sledgehammer. FroCos 2013: 245-260 - Stefan Borgwardt, Marcel Lippmann, Veronika Thost:
Temporal Query Answering in the Description Logic DL-Lite. FroCos 2013: 165-180 - Christopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran:
On Forward Closure and the Finite Variant Property. FroCos 2013: 327-342 - Guillaume Burel, Simon Cruanes:
Detection of First Order Axiomatic Theories. FroCos 2013: 229-244 - Matthias Horbach, Viorica Sofronie-Stokkermans:
Obtaining Finite Local Theory Axiomatizations via Saturation. FroCos 2013: 198-213 - Ralf Karrenberg, Marek Kosta, Thomas Sturm:
Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages. FroCos 2013: 56-70 - Abdelkader Kersani, Nicolas Peltier:
Combining Superposition and Induction: A Practical Realization. FroCos 2013: 7-22 - Patrick Koopmann, Renate A. Schmidt:
Uniform Interpolation of -Ontologies Using Fixpoints. FroCos 2013: 87-102 - Cynthia Kop, Naoki Nishida:
Term Rewriting with Logical Constraints. FroCos 2013: 343-358 - Konstantin Korovin:
Non-cyclic Sorts for First-Order Satisfiability. FroCos 2013: 214-228 - Konstantin Korovin:
From Resolution and DPLL to Solving Arithmetic Constraints. FroCos 2013: 261-262 - Joël Ouaknine:
Specification and Verification of Linear Dynamical Systems: Advances and Challenges. FroCos 2013: 197 - Fabio Papacchini, Renate A. Schmidt:
Computing Minimal Models Modulo Subset-Simulation for Modal Logics. FroCos 2013: 279-294 - Lawrence C. Paulson:
MetiTarski's Menagerie of Cooperating Systems. FroCos 2013: 1-6 - Rafael Peñaloza, Tingting Zou:
Roughening the Envelope. FroCos 2013: 71-86 - Christoph Wernhard:
Abduction in Logic Programming as Second-Order Quantifier Elimination. FroCos 2013: 103-119 - Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt:
Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Lecture Notes in Computer Science 8152, Springer 2013, ISBN 978-3-642-40884-7 [contents]
