Shop the Archives and get your next eBook for just 14.99! Stock up today >>

Lecture Notes in Artificial Intelligence

Automated Deduction -- CADE-23

23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

Editors: Bjørner, Nikolaj, Sofronie-Stokkermans, Viorica (Eds.)

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research
see more benefits

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-642-22438-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-642-22437-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocław, Poland, in July/August 2011.
The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.

Table of contents (38 chapters)

  • The Anatomy of Equinox – An Extensible Automated Reasoning Tool for First-Order Logic and Beyond

    Claessen, Koen

    Pages 1-3

  • Advances in Proving Program Termination and Liveness

    Cook, Byron

    Pages 4-4

  • Translating between Language and Logic: What Is Easy and What Is Difficult

    Ranta, Aarne

    Pages 5-25

  • ASASP: Automated Symbolic Analysis of Security Policies

    Alberti, Francesco (et al.)

    Pages 26-33

  • Backward Trace Slicing for Rewriting Logic Theories

    Alpuente, María (et al.)

    Pages 34-48

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-642-22438-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-642-22437-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Deduction -- CADE-23
Book Subtitle
23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
Editors
  • Nikolaj Bjørner
  • Viorica Sofronie-Stokkermans
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
6803
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-22438-6
DOI
10.1007/978-3-642-22438-6
Softcover ISBN
978-3-642-22437-9
Edition Number
1
Number of Pages
XIII, 508
Topics