Interaction versus Automation: The two Faces of Deduction

Keyphrases

Publications

2009

Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow
09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions. Interaction versus Automation: The two Faces of Deduction (2009)
Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction. Interaction versus Automation: The two Faces of Deduction (2009)
Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp
Inductive Theorem Proving meets Dependency Pairs. Interaction versus Automation: The two Faces of Deduction (2009)
Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke
Termination of Integer Term Rewriting. Interaction versus Automation: The two Faces of Deduction (2009)
Viorica Sofronie-Stokkermans
Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms. Interaction versus Automation: The two Faces of Deduction (2009)

volume 9411, 2009

Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009 Interaction versus Automation: The two Faces of Deduction 9411 (2009)