ask others

Memory of Harald Ganzinger 2013

> Home > Conferences and Workshops

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/2013ganzinger
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/2013ganzinger
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/KapurNVWW13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/KapurNVWW13
Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm:
Harald Ganzinger's Legacy: Contributions to Logics and Programming. 1-18
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/BockmayrS13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/BockmayrS13
Alexander Bockmayr, Heike Siebert:
Bio-Logics: Logical Analysis of Bioregulatory Networks. 19-34
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/BonacinaD13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/BonacinaD13
Maria Paola Bonacina, Nachum Dershowitz:
Canonical Ground Horn Theories. 35-71
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/GaillourdetMPR13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/GaillourdetMPR13
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Goubault-LarrecqJ13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/Goubault-LarrecqJ13
Jean Goubault-Larrecq, Jean-Pierre Jouannaud:
The Blossom of Finite Semantic Trees. 90-122
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Hanus13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/Hanus13
Michael Hanus:
Functional Logic Programming: From Theory to Curry. 123-168
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/HillenbrandPWW13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/HillenbrandPWW13
Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach:
From Search to Computation: Redundancy Criteria and Simplification at Work. 169-193
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Kapur13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/Kapur13
Deepak Kapur:
Elimination Techniques for Program Analysis. 194-215
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/KirchnerKN13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/KirchnerKN13
Claude Kirchner, Hélène Kirchner, Fabrice Nahon:
Narrowing Based Inductive Proof Search. 216-238
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Korovin13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/Korovin13
Konstantin Korovin:
Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning. 239-270
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Lescanne13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/Lescanne13
Pierre Lescanne:
Common Knowledge Logic in a Higher Order Proof Assistant. 271-284
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Lynch13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/Lynch13
Christopher Lynch:
Constructing Bachmair-Ganzinger Models. 285-301
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/PerezV13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/PerezV13
Juan Antonio Navarro Pérez, Andrei Voronkov:
Planning with Effectively Propositional Logic. 302-316
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/PlaistedM13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/PlaistedM13
David A. Plaisted, Swaha Miller:
The Relative Power of Semantics and Unification. 317-344
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/SchmidtH13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/SchmidtH13
Renate A. Schmidt, Ullrich Hustadt:
First-Order Resolution Methods for Modal Logics. 345-391
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Sofronie-Stokkermans13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/Sofronie-Stokkermans13
Viorica Sofronie-Stokkermans:
On Combinations of Local Theory Extensions. 392-413
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/KreikerRRSWY13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/birthday/KreikerRRSWY13
Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav:
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. 414-445

maintained by

at