Advertisement

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
    2. Geoff Sutcliffe, Yury Puzis
      Pages 295-310
    3. Tal Lev-Ami, Christoph Weidenbach, Thomas Reps, Mooly Sagiv
      Pages 311-327
    4. Christopher Lynch, Duc-Khanh Tran
      Pages 328-344
  10. Session 9. Invited Talk: K. Rustan M. Leino

    1. K. Rustan M. Leino
      Pages 345-345
  11. Session 10. Model Checking and Verification

    1. Juan Antonio Navarro-Pérez, Andrei Voronkov
      Pages 346-361
    2. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
      Pages 362-378
    3. Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager et al.
      Pages 379-384
    4. Oleg Mürk, Daniel Larsson, Reiner Hähnle
      Pages 385-390
    5. David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
      Pages 391-397
    6. Konstantin Verchinine, Alexander Lyaletski, Andrei Paskevich
      Pages 398-403
  12. Session 11. Invited Talk: Peter Baumgartner

    1. Peter Baumgartner
      Pages 404-409
  13. Session 12. Termination

    1. Adam Koprowski, Aart Middeldorp
      Pages 410-425
    2. Stephan Falke, Deepak Kapur
      Pages 426-442
    3. Jürgen Giesl, René Thiemann, Stephan Swiderski, Peter Schneider-Kamp
      Pages 443-459
    4. Alexander Krauss
      Pages 460-475
  14. Session 13. Tableaux and First-Order Systems

    1. Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor
      Pages 476-491
    2. Peter Baumgartner, Ulrich Furbach, Björn Pelzer
      Pages 492-507
    3. Björn Pelzer, Christoph Wernhard
      Pages 508-513
    4. Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic
      Pages 514-520
  15. Back Matter

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
  • Buy this book on publisher's site