Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2007

Automated Deduction - CADE-21

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

Editors:

  1. Frank Pfenning
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): CADE: International Conference on Automated Deduction

Conference proceedings info: CADE 2007.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (38 papers)

  1. Front Matter

    PDF

  2. Session 1. Invited Talk: Colin Stirling

    1. Games, Automata and Matching

      • Colin Stirling
      Pages 1-2

  3. Session 2. Higher-Order Logic

    1. Formalization of Continuous Probability Distributions

      • Osman Hasan, Sofiène Tahar
      Pages 3-18

    2. Compilation as Rewriting in Higher Order Logic

      • Guodong Li, Konrad Slind
      Pages 19-34

    3. Barendregt’s Variable Convention in Rule Inductions

      • Christian Urban, Stefan Berghofer, Michael Norrish
      Pages 35-50

  4. Session 3. Description Logic

    1. Optimized Reasoning in Description Logics Using Hypertableaux

      • Boris Motik, Rob Shearer, Ian Horrocks
      Pages 67-83

  5. Session 4. Intuitionistic Logic

    2. A Labelled System for IPL with Variable Splitting

      • Roger Antonsen, Arild Waaler
      Pages 132-146

  6. Session 5. Invited Talk: Ashish Tiwari

  7. Session 6. Satisfiability Modulo Theories

    1. Solving Quantified Verification Conditions Using Satisfiability Modulo Theories

      • Yeting Ge, Clark Barrett, Cesare Tinelli
      Pages 167-182

    2. Efficient E-Matching for SMT Solvers

      • Leonardo de Moura, Nikolaj Bjørner
      Pages 183-198

    3. \({\mathcal{T}}\)-Decision by Decomposition

      • Maria Paola Bonacina, Mnacho Echenim
      Pages 199-214

  8. Session 7. Induction, Rewriting, and Polymorphism

    1. Improvements in Formula Generalization

      • Markus Aderhold
      Pages 231-246

    3. Handling Polymorphism in Automated Deduction

      • Jean-François Couchot, Stéphane Lescuyer
      Pages 263-278

  9. Session 8. First-Order Logic

    1. Automated Reasoning in Kleene Algebra

      • Peter Höfner, Georg Struth
      Pages 279-294
Back to top

Other Volumes

  1. Automated Deduction – CADE-21

Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation