default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMemory of Harald Ganzinger 2013
- Andrei Voronkov, Christoph Weidenbach:
Programming Logics - Essays in Memory of Harald Ganzinger. Lecture Notes in Computer Science 7797, Springer 2013, ISBN 978-3-642-37650-4 - Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm:
Harald Ganzinger's Legacy: Contributions to Logics and Programming. 1-18 - Alexander Bockmayr
, Heike Siebert:
Bio-Logics: Logical Analysis of Bioregulatory Networks. 19-34 - Maria Paola Bonacina, Nachum Dershowitz:
Canonical Ground Horn Theories. 35-71 - Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter, Nicole Rauch:
A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It). 72-89 - Jean Goubault-Larrecq, Jean-Pierre Jouannaud:
The Blossom of Finite Semantic Trees. 90-122 - Michael Hanus:
Functional Logic Programming: From Theory to Curry. 123-168 - Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach:
From Search to Computation: Redundancy Criteria and Simplification at Work. 169-193 - Deepak Kapur:
Elimination Techniques for Program Analysis. 194-215 - Claude Kirchner, Hélène Kirchner, Fabrice Nahon:
Narrowing Based Inductive Proof Search. 216-238 - Konstantin Korovin:
Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning. 239-270 - Pierre Lescanne:
Common Knowledge Logic in a Higher Order Proof Assistant. 271-284 - Christopher Lynch:
Constructing Bachmair-Ganzinger Models. 285-301 - Juan Antonio Navarro Pérez, Andrei Voronkov:
Planning with Effectively Propositional Logic. 302-316 - David A. Plaisted, Swaha Miller:
The Relative Power of Semantics and Unification. 317-344 - Renate A. Schmidt, Ullrich Hustadt:
First-Order Resolution Methods for Modal Logics. 345-391 - Viorica Sofronie-Stokkermans:
On Combinations of Local Theory Extensions. 392-413 - Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav:
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. 414-445
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-23 19:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
