Skip to main content
SpringerLink
Log in
Book cover

Automated Deduction -- CADE-24

24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Maria Paola Bonacina

    1. Dipartimento di Informatica, Università degli Studi di Verona, Verona, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Conference proceedings of the International Conference on Automated Deduction, CADE-24, 2013

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

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

Included in the following conference series:

Conference proceedings info: CADE 2013.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (33 papers)

  1. Front Matter

    Download chapter PDF

  2. One Logic to Use Them All

    • Jean-Christophe Filliâtre
    Pages 1-20

  3. The Tree Width of Separation Logic with Recursive Definitions

    • Radu Iosif, Adam Rogalewicz, Jiri Simacek
    Pages 21-38

  4. Hierarchic Superposition with Weak Abstraction

    • Peter Baumgartner, Uwe Waldmann
    Pages 39-57

  5. Completeness and Decidability Results for First-Order Clauses with Indices

    • Abdelkader Kersani, Nicolas Peltier
    Pages 58-75

  6. A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies

    • Marta Cialdea Mayer
    Pages 76-90

  7. Tractable Inference Systems: An Extension with a Deducibility Predicate

    • Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri
    Pages 91-108

  8. Computing Tiny Clause Normal Forms

    • Noran Azmy, Christoph Weidenbach
    Pages 109-125

  9. System Description: E-KRHyper 1.4

    • Markus Bender, Björn Pelzer, Claudia Schon
    Pages 126-134

  10. Analysing Vote Counting Algorithms via Logic

    • Bernhard Beckert, Rajeev Goré, Carsten Schürmann
    Pages 135-144

  11. Automated Reasoning, Fast and Slow

    • Natarajan Shankar
    Pages 145-161

  12. Foundational Proof Certificates in First-Order Logic

    • Zakaria Chihani, Dale Miller, Fabien Renaud
    Pages 162-177

  13. Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals

    • Leonardo de Moura, Grant Olney Passmore
    Pages 178-192

  14. A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition

    • Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker
    Pages 193-207

  15. dReal: An SMT Solver for Nonlinear Theories over the Reals

    • Sicun Gao, Soonho Kong, Edmund M. Clarke
    Pages 208-214

  16. Solving Difference Constraints over Modular Arithmetic

    • Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte
    Pages 215-230

  17. Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis

    • Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher A. Lynch, Catherine Meadows et al.
    Pages 231-248

  18. Hierarchical Combination

    • Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
    Pages 249-266

  19. PRocH: Proof Reconstruction for HOL Light

    • Cezary Kaliszyk, Josef Urban
    Pages 267-274

  20. An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description

    • Rajeev Goré, Jimmy Thomson
    Pages 275-281
Back to top

Other volumes

  1. Automated Deduction – CADE-24

Keywords

About this book

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, ranging from theoretical and methodological issues to the presentation of new theorem provers, solvers and systems.

Editors and Affiliations

  • Dipartimento di Informatica, Università degli Studi di Verona, Verona, Italy

    Maria Paola Bonacina

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation