Frontiers of Combining Systems
11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
- (view affiliations)
The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics.