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
Host

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 | Fulltext Search | Imprint
    Published by LZI