Dagstuhl Seminar Proceedings: Deduction and Decision Procedures 2007
Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis (Eds.): Deduction and Decision Procedures, 30.09. - 05.10.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 Dagstuhl Seminar Proceedings 07401- Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis: 07401 Executive Summary -- Deduction and Decision Procedures.
- Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli: From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems.
- Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik: Termination of Programs using Term Rewriting and SAT Solving.
- Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl: Implementing RPO and POLO using SAT.
- Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs: Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.
- Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis: 07401 Abstracts Collection -- Deduction and Decision Procedures.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team