Automated Deduction – CADE-21

21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

  • Editors
  • Frank Pfenning
Conference proceedings CADE 2007

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4603)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4603)

Table of contents

  1. Front Matter
  2. Session 1. Invited Talk: Colin Stirling

    1. Colin Stirling
      Pages 1-2
  3. Session 2. Higher-Order Logic

    1. Osman Hasan, Sofiène Tahar
      Pages 3-18
    2. Guodong Li, Konrad Slind
      Pages 19-34
    3. Christian Urban, Stefan Berghofer, Michael Norrish
      Pages 35-50
  4. Session 3. Description Logic

    1. Boris Motik, Rob Shearer, Ian Horrocks
      Pages 67-83
  5. Session 4. Intuitionistic Logic

    1. Roger Antonsen, Arild Waaler
      Pages 132-146
  6. Session 5. Invited Talk: Ashish Tiwari

  7. Session 6. Satisfiability Modulo Theories

    1. Yeting Ge, Clark Barrett, Cesare Tinelli
      Pages 167-182
    2. Leonardo de Moura, Nikolaj Bjørner
      Pages 183-198
    3. Maria Paola Bonacina, Mnacho Echenim
      Pages 199-214
  8. Session 7. Induction, Rewriting, and Polymorphism

    1. Markus Aderhold
      Pages 231-246
    2. Jean-François Couchot, Stéphane Lescuyer
      Pages 263-278
  9. Session 8. First-Order Logic

    1. Peter Höfner, Georg Struth
      Pages 279-294

About these proceedings

Keywords

Automat automated deduction logic logical reasoning model checking polymorphism verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73595-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73594-6
  • Online ISBN 978-3-540-73595-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book