Abstract is missing.
- Termination of Programs using Term Rewriting and SAT SolvingJürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik. [doi]
- Local Theory Extensions, Hierarchical Reasoning and Applications to VerificationViorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs. [doi]
- 07401 Executive Summary -- Deduction and Decision ProceduresFranz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis. [doi]
- 07401 Abstracts Collection -- Deduction and Decision ProceduresFranz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis. [doi]
- Implementing RPO and POLO using SATPeter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl. [doi]
- From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State SystemsSilvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli. [doi]
- Decision Procedures for Loop DetectionRené Thiemann, Jürgen Giesl, Peter Schneider-Kamp. [doi]