Text

Frontiers of Combining Systems

---

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.

---

Availability

No copy data

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

-

Publisher

Cham : Springer., 2015

Collation

XVI, 275

Language

English

ISBN/ISSN

978-3-319-24246-0

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Artificial Intelligence
Logics and Meanings of Programs
Mathematical Logic and Formal Languages

Specific Detail Info

-

Statement of Responsibility

Carsten Lutz, Silvio Ranise

Other Information

Cataloger

reva

Source

-

Validator

Jemadi

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-319-24246-0

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment