Frontiers of combining systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings / Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.)

This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, FroCoS 2011, held in Saarbrücken, Germany, in October 2011. The 15 revised full papers presented together with three invited papers were carefully reviewed and selected from 22 submis...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	FroCoS (Symposium) Saarbrücken, Germany)
Other Authors:	Tinelli, C. (Cesare), Sofronie-Stokkermans, Viorica
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011.
Series:	Lecture notes in computer science ; 6989. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Logic, Symbolic and mathematical > Congresses. Computer science > Congresses. Computer science. Logic, Symbolic and mathematical. Conference papers and proceedings.