Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 19-24, 2015, Proceedings

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.

Summary

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. 

Product details

• Assisted by: Carste Lutz (Editor), Carsten Lutz (Editor), Ranise (Editor), Ranise (Editor), Silvio Ranise (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.2015
• EAN: 9783319242453
• ISBN: 978-3-31-924245-3
• No. of pages: 357
• Dimensions: 156 mm x 235 mm x 23 mm
• Weight: 569 g
• Illustrations: XVII, 357 p. 54 illus. in color.
• Series: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Artificial Intelligence, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, computer science, Logics and Meanings of Programs, Programming Techniques, Computer programming, Mathematical theory of computation, Computer programming / software engineering, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, temporal logic, SMT solving, SAT solving, Modularity of ontologies, Modularizing programs and specifications, Verification and analysis