Coverart for item
The Resource Programming logics : essays in memory of Harald Ganzinger, Andrei Voronkov, Christoph Weidenbach (eds.), (electronic resource)

Programming logics : essays in memory of Harald Ganzinger, Andrei Voronkov, Christoph Weidenbach (eds.), (electronic resource)

Label
Programming logics : essays in memory of Harald Ganzinger
Title
Programming logics
Title remainder
essays in memory of Harald Ganzinger
Statement of responsibility
Andrei Voronkov, Christoph Weidenbach (eds.)
Contributor
Subject
Language
eng
Summary
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology
Member of
Dewey number
005.101
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1959-
http://library.link/vocab/relatedWorkOrContributorName
  • Voronkov, Andrei
  • Weidenbach, Christoph
Series statement
  • Lecture notes in computer science,
  • Festschrift
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
7797.
http://library.link/vocab/subjectName
  • Ganzinger, H.
  • Software
  • Ganzinger, H.
  • Logic programming
  • Computer logic
Label
Programming logics : essays in memory of Harald Ganzinger, Andrei Voronkov, Christoph Weidenbach (eds.), (electronic resource)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Contents
  • The Blossom of Finite Semantic Trees
  • Jean Goubault-Larrecq, Jean-Pierre Jouannaud
  • Functional Logic Programming: From Theory to Curry
  • Michael Hanus
  • From Search to Computation: Redundancy Criteria and Simplification at Work
  • Thomas Hillenbrand ... [et al.]
  • Elimination Techniques for Program Analysis
  • Deepak Kapur
  • Narrowing Based Inductive Proof Search
  • Claude Kirchner, Hélène Kirchner, Fabrice Nahon
  • Harald Ganzinger's Legacy: Contributions to Logics and Programming
  • Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning
  • Konstantin Korovin
  • Common Knowledge Logic in a Higher Order Proof Assistant
  • Pierre Lescanne
  • Constructing Bachmair-Ganzinger Models
  • Christopher Lynch
  • Planning with Effectively Propositional Logic
  • Juan Antonio Navarro-Pérez, Andrei Voronkov
  • The Relative Power of Semantics and Unification
  • David A. Plaisted, Swaha Miller
  • Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov
  • First-Order Resolution Methods for Modal Logics
  • Renate A. Schmidt, Ullrich Hustadt
  • On Combinations of Local Theory Extensions
  • Viorica Sofronie-Stokkermans
  • Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs
  • J. Kreiker ... [et al.]
  • Bio-Logics: Logical Analysis of Bioregulatory Networks
  • Alexander Bockmayr, Heike Siebert
  • Canonical Ground Horn Theories
  • Maria Paola Bonacina, Nachum Dershowitz
  • A Generic Functional Representation of Sorted Trees Supporting Attribution
  • Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter
Control code
ocn839676814
Dimensions
unknown
Extent
1 online resource (x, 445 p.)
File format
unknown
Form of item
online
Isbn
9783642376511
Isbn Type
(electronic bk.)
Level of compression
unknown
Other physical details
ill
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)839676814
Label
Programming logics : essays in memory of Harald Ganzinger, Andrei Voronkov, Christoph Weidenbach (eds.), (electronic resource)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Contents
  • The Blossom of Finite Semantic Trees
  • Jean Goubault-Larrecq, Jean-Pierre Jouannaud
  • Functional Logic Programming: From Theory to Curry
  • Michael Hanus
  • From Search to Computation: Redundancy Criteria and Simplification at Work
  • Thomas Hillenbrand ... [et al.]
  • Elimination Techniques for Program Analysis
  • Deepak Kapur
  • Narrowing Based Inductive Proof Search
  • Claude Kirchner, Hélène Kirchner, Fabrice Nahon
  • Harald Ganzinger's Legacy: Contributions to Logics and Programming
  • Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning
  • Konstantin Korovin
  • Common Knowledge Logic in a Higher Order Proof Assistant
  • Pierre Lescanne
  • Constructing Bachmair-Ganzinger Models
  • Christopher Lynch
  • Planning with Effectively Propositional Logic
  • Juan Antonio Navarro-Pérez, Andrei Voronkov
  • The Relative Power of Semantics and Unification
  • David A. Plaisted, Swaha Miller
  • Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov
  • First-Order Resolution Methods for Modal Logics
  • Renate A. Schmidt, Ullrich Hustadt
  • On Combinations of Local Theory Extensions
  • Viorica Sofronie-Stokkermans
  • Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs
  • J. Kreiker ... [et al.]
  • Bio-Logics: Logical Analysis of Bioregulatory Networks
  • Alexander Bockmayr, Heike Siebert
  • Canonical Ground Horn Theories
  • Maria Paola Bonacina, Nachum Dershowitz
  • A Generic Functional Representation of Sorted Trees Supporting Attribution
  • Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter
Control code
ocn839676814
Dimensions
unknown
Extent
1 online resource (x, 445 p.)
File format
unknown
Form of item
online
Isbn
9783642376511
Isbn Type
(electronic bk.)
Level of compression
unknown
Other physical details
ill
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)839676814

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...