Programming Logics

Keyphrases

Publications

2013

Viorica Sofronie-Stokkermans
On Combinations of Local Theory Extensions. Programming Logics (2013)
Maria Paola Bonacina, Nachum Dershowitz
Canonical Ground Horn Theories. Programming Logics (2013)
Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach
From Search to Computation: Redundancy Criteria and Simplification at Work. Programming Logics (2013)
Jean Goubault-Larrecq, Jean-Pierre Jouannaud
The Blossom of Finite Semantic Trees. Programming Logics (2013)
Michael Hanus
Functional Logic Programming: From Theory to Curry. Programming Logics (2013)
Alexander Bockmayr, Heike Siebert
Bio-Logics: Logical Analysis of Bioregulatory Networks. Programming Logics (2013)
Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm
Harald Ganzinger's Legacy: Contributions to Logics and Programming. Programming Logics (2013)
Konstantin Korovin
Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning. Programming Logics (2013)
David A. Plaisted, Swaha Miller
The Relative Power of Semantics and Unification. Programming Logics (2013)
Juan Antonio Navarro Pérez, Andrei Voronkov
Planning with Effectively Propositional Logic. Programming Logics (2013)
Christopher Lynch
Constructing Bachmair-Ganzinger Models. Programming Logics (2013)
Renate A. Schmidt, Ullrich Hustadt
First-Order Resolution Methods for Modal Logics. Programming Logics (2013)
Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter, Nicole Rauch
A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It). Programming Logics (2013)
Pierre Lescanne
Common Knowledge Logic in a Higher Order Proof Assistant. Programming Logics (2013)
Deepak Kapur
Elimination Techniques for Program Analysis. Programming Logics (2013)
Claude Kirchner, Hélène Kirchner, Fabrice Nahon
Narrowing Based Inductive Proof Search. Programming Logics (2013)
Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. Programming Logics (2013)

volume 7797, 2013

Programming Logics - Essays in Memory of Harald Ganzinger Programming Logics 7797 (2013)