Abstract is missing.
- 09411 Abstracts Collection - Interaction versus Automation: The two Faces of DeductionThomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow. [doi]
- Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphismsViorica Sofronie-Stokkermans. [doi]
- 09411 Executive Summary - Interaction versus Automation: The two Faces of DeductionsThomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow. [doi]
- Inductive Theorem Proving meets Dependency PairsStephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp. [doi]
- Termination of Integer Term RewritingCarsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke 0001. [doi]