Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9322)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): FroCoS: International Symposium on Frontiers of Combining Systems
Conference proceedings info: FroCoS 2015.
Buy it now
Buying options
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 (21 papers)
-
Front Matter
-
Invited Talk
-
Front Matter
-
-
Decision Procedures for Verification
-
Front Matter
-
-
Rewriting and Constraint Solving
-
Front Matter
-
About this book
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015.
The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.
Keywords
- Description logic
- Hybrid systems
- Modal logic
- Multi-agent systems
- Term rewriting
- Combining systems
- Complexity
- Constraint solving
- Decision procedures
- Equational theories
- First-order logic
- Higher-order logic
- Hybrid methods
- Model checking
- Modularity of ontologies
- Modularizing programs and specifications
- SAT solving
- SMT solving
- Temporal logic
- Verification and analysis
Editors and Affiliations
-
Universität Bremen, Bremen, Germany
Carsten Lutz
-
Fondazione Bruno Kessler, Trento, Italy
Silvio Ranise
Bibliographic Information
Book Title: Frontiers of Combining Systems
Book Subtitle: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Editors: Carsten Lutz, Silvio Ranise
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-24246-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-24245-3Published: 12 November 2015
eBook ISBN: 978-3-319-24246-0Published: 19 September 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 357
Number of Illustrations: 54 illustrations in colour
Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Techniques