default search action
Dagstuhl Seminar Proceedings: Deduction and Decision Procedures 2007
- Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis
:
Deduction and Decision Procedures, 30.09. - 05.10.2007. Dagstuhl Seminar Proceedings 07401, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 - Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis
07401 Executive Summary -- Deduction and Decision Procedures. - René Thiemann, Jürgen Giesl, Peter Schneider-Kamp:
Decision Procedures for Loop Detection. - 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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-09 14:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: