The Leading eBooks Store Online 4,416,707 members ⚫ 1,552,143 ebooks

New to eBooks.com?

Learn more

Frontiers of Combining Systems

10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Frontiers of Combining Systems by Carsten Lutz
Buy this eBook
US$ 69.99
(If any tax is payable it will be calculated and shown at checkout.)

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. 

Springer International Publishing; September 2015
362 pages; ISBN 9783319242460
Read online, or download in secure PDF format
Title: Frontiers of Combining Systems
Author: Carsten Lutz; Silvio Ranise