Programming Logics

Essays in Memory of Harald Ganzinger

Editors:

ISBN: 978-3-642-37650-4 (Print) 978-3-642-37651-1 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-18

    Harald Ganzinger’s Legacy: Contributions to Logics and Programming

  3. No Access

    Book Chapter

    Pages 19-34

    Bio-Logics: Logical Analysis of Bioregulatory Networks

  4. No Access

    Book Chapter

    Pages 35-71

    Canonical Ground Horn Theories

  5. No Access

    Book Chapter

    Pages 72-89

    A Generic Functional Representation of Sorted Trees Supporting Attribution

  6. No Access

    Book Chapter

    Pages 90-122

    The Blossom of Finite Semantic Trees

  7. No Access

    Book Chapter

    Pages 123-168

    Functional Logic Programming: From Theory to Curry

  8. No Access

    Book Chapter

    Pages 169-193

    From Search to Computation: Redundancy Criteria and Simplification at Work

  9. No Access

    Book Chapter

    Pages 194-215

    Elimination Techniques for Program Analysis

  10. No Access

    Book Chapter

    Pages 216-238

    Narrowing Based Inductive Proof Search

  11. No Access

    Book Chapter

    Pages 239-270

    Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning

  12. No Access

    Book Chapter

    Pages 271-284

    Common Knowledge Logic in a Higher Order Proof Assistant

  13. No Access

    Book Chapter

    Pages 285-301

    Constructing Bachmair-Ganzinger Models

  14. No Access

    Book Chapter

    Pages 302-316

    Planning with Effectively Propositional Logic

  15. No Access

    Book Chapter

    Pages 317-344

    The Relative Power of Semantics and Unification

  16. No Access

    Book Chapter

    Pages 345-391

    First-Order Resolution Methods for Modal Logics

  17. No Access

    Book Chapter

    Pages 392-413

    On Combinations of Local Theory Extensions

  18. No Access

    Book Chapter

    Pages 414-445

    Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs

  19. Back Matter

    Pages -