Items related to Programming Logics: Essays in Memory of Harald Ganzinger

Programming Logics: Essays in Memory of Harald Ganzinger - Softcover

 
9783642376528: Programming Logics: Essays in Memory of Harald Ganzinger

This specific ISBN edition is currently not available.

Synopsis

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 Want

Can'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

Other Popular Editions of the Same Title

9783642376504: Programming Logics: Essays in Memory of Harald Ganzinger: 7797 (Lecture Notes in Computer Science, 7797)

Featured Edition

ISBN 10:  3642376509 ISBN 13:  9783642376504
Publisher: Springer, 2013
Softcover