Harald Ganzinger's Legacy: Contributions to Logics and Programming.- Bio-Logics: Logical Analysis of Bioregulatory Networks.- Canonical Ground Horn Theories.- Generic Functional Representation of Sorted Trees Supporting Attribution (Haskell Can Do It).- The Blossom of Finite Semantic Trees.- Functional Logic Programming: From Theory to Curry.- From Search to Computation: Redundancy Criteria and Simplification at Work.- Elimination Techniques for Program Analysis.- Narrowing Based Inductive Proof Search.- Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning.- Common Knowledge Logic in a Higher Order Proof Assistant.- Constructing Bachmair-Ganzinger Models.- Planning with Effectively Propositional Logic.- The Relative Power of Semantics and Unification.- First-Order Resolution Methods for Modal Logics.- On Combinations of Local Theory Extensions.- Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs.
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want