Frontiers of Combining Systems 2

"Frontiers of Combining Systems 2 includes selected, edited contributions from the Second International Workshop on Frontiers of Combining Systems. - This volume addresses both particular instances of the combination and integration problem and the general issue. - While covering a wide spectrum of disciplines and angles, from systems and constraints to logical aspects, theorem proving and rewriting, there is a clear emphasis on automated tools and logics."--Jacket.