Editors:
Fast track conference proceedings
Unique visibility
State of the art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6803)
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 2011.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (38 papers)
-
Front Matter
About this book
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.
Keywords
- AI logics
- computer aided verification
- formal methods
- logical reasoning
- model-based program analysis
- term rewriting systems
- termination
Editors and Affiliations
-
Microsoft Research, Redmond, USA
Nikolaj Bjørner
-
Max-Planck-Institut für Informatik, Saarbrücken, Germany
Viorica Sofronie-Stokkermans
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 Computer Science
DOI: https://doi.org/10.1007/978-3-642-22438-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Berlin Heidelberg 2011
Softcover ISBN: 978-3-642-22437-9Published: 12 July 2011
eBook ISBN: 978-3-642-22438-6Published: 12 July 2011
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 508
Topics: Artificial Intelligence, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming, Software Engineering