Dagstuhl Seminar Proceedings 09411
Interaction versus Automation: The two Faces of Deduction
T. Ball, J. Giesl, R. Hähnle, T. Nipkow (Eds.)
published by LZI
ISSN 1862 - 4405
Dagstuhl Seminar 09411, 04.10. - 09.10.2009
Additional Information
Seminar Homepage
License
Search Publication Server
Authors
Ball, Thomas
Falke, Stephan
Fuhs, Carsten
Giesl, Jürgen
Hähnle, Reiner
Nipkow, Tobias
Parting, Michael
Plücker, Martin
Schneider-Kamp, Peter
Sofronie-Stokkermans, Viorica
Swiderski, Stephan
09411 Abstracts Collection -- Interaction versus Automation: The two Faces of Deduction
Authors:
Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
Abstract
|
Document (205 KB)
|
BibTeX
09411 Executive Summary -- Interaction versus Automation: The two Faces of Deductions
Authors:
Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
Abstract
|
Document (78 KB)
|
BibTeX
Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms
Authors:
Sofronie-Stokkermans, Viorica
Abstract
|
Document (427 KB)
|
BibTeX
Inductive Theorem Proving meets Dependency Pairs
Authors:
Swiderski, Stephan ; Parting, Michael ; Giesl, Jürgen ; Fuhs, Carsten ; Schneider-Kamp, Peter
Abstract
|
Document (66 KB)
|
BibTeX
Termination of Integer Term Rewriting
Authors:
Fuhs, Carsten ; Giesl, Jürgen ; Plücker, Martin ; Schneider-Kamp, Peter ; Falke, Stephan
Abstract
|
Document (88 KB)
|
BibTeX
DROPS-Home
|
Imprint
|
Privacy
