Portal - Seminar 07401

	Dagstuhl Seminar Proceedings 07401 Deduction and Decision Procedures F. Baader, B. Cook, J. Giesl, R. Nieuwenhuis (Eds.)	published by LZI ISSN 1862 - 4405
	Dagstuhl Seminar 07401, 30.09. - 05.10.2007

Additional Information

Seminar Homepage
License
Search Publication Server

Authors

Schneider-Kamp, Peter

Serebrenik, Alexander

Sofronie-Stokkermans, Viorica

07401 Abstracts Collection -- Deduction and Decision Procedures

Authors: Baader, Franz ; Cook, Byron ; Giesl, Jürgen ; Nieuwenhuis, Robert

Abstract | Document (224 KB) | BibTeX

07401 Executive Summary -- Deduction and Decision Procedures

Authors: Baader, Franz ; Cook, Byron ; Giesl, Jürgen ; Nieuwenhuis, Robert

Abstract | Document (75 KB) | BibTeX

Decision Procedures for Loop Detection

Authors: Thiemann, René ; Giesl, Jürgen ; Schneider-Kamp, Peter

Abstract | Document (309 KB) | BibTeX

From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems

Authors: Ghilardi, Silvio ; Ranise, Silvio ; Nicolini, Enrica ; Zucchelli, Daniele

Abstract | Document (75 KB) | BibTeX

Implementing RPO and POLO using SAT

Authors: Schneider-Kamp, Peter ; Fuhs, Carsten ; Thiemann, René ; Giesl, Jürgen ; Annov, Elena ; Codish, Michael ; Middeldorp, Aart ; Zankl, Harald

Abstract | Document (184 KB) | BibTeX

Local Theory Extensions, Hierarchical Reasoning and Applications to Verification

Authors: Sofronie-Stokkermans, Viorica ; Ihlemann, Carsten ; Jacobs, Swen

Abstract | Document (254 KB) | BibTeX

Termination of Programs using Term Rewriting and SAT Solving

Authors: Giesl, Jürgen ; Schneider-Kamp, Peter ; Thiemann, René ; Swiderski, Stephan ; Nguyen, Manh Thang ; De Schreye, Daniel ; Serebrenik, Alexander

Abstract | BibTeX

DROPS-Home | Imprint | Privacy