Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6173)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): IJCAR: International Joint Conference on Automated Reasoning
Conference proceedings info: IJCAR 2010.
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 (43 papers)
-
Front Matter
-
Logical Frameworks and Combination of Systems
-
Invited Talk
-
Verification
-
Non-Classical Logic
About this book
Keywords
- analytic tableaux
- automated deduction
- automated reasoning
- computer aided verification
- datalog
- logic
- logic programming
- policy monitoring
- query languages
- rewriting techniques
- satisfiability testing
- temporal logic
- theorem proving
- verification
Editors and Affiliations
-
RWTH Aachen, LuFG Informatik, Aachen, Germany
Jürgen Giesl
-
Department of Computer Science, Chalmers University of Technology, Gothenburg, Sweden
Reiner Hähnle
Bibliographic Information
Book Title: Automated Reasoning
Book Subtitle: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Editors: Jürgen Giesl, Reiner Hähnle
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-14203-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2010
Softcover ISBN: 978-3-642-14202-4Published: 30 June 2010
eBook ISBN: 978-3-642-14203-1Published: 13 July 2010
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 536
Topics: Artificial Intelligence, Computer System Implementation, Programming Techniques, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming, Logic Design