Frontiers Of Combining Systems 2: 2nd (Studies in Logic & Computation)

Addresses both particular instances of the combination and integration problem and the general issue. Covers a wide spectrum of disciplines and angles, from systems and constraints to logical aspects, theorem proving and rewriting. Emphasizes automated tools and logic. DLC: Logic, Symbolic and mathematical.