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)

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