Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Programming Logics: Essays in Memory of Harald Ganzinger > A Generic Functional Representation of Sorted Trees Supporting Attribution
Programming Logics: Essays in Memory of Harald Ganzinger |
Andrei Voronkov; Christoph Weidenbach
Springer Berlin Heidelberg
Programming Logics: Essays in Memory of Harald Ganzinger
A Generic Functional Representation of Sorted Trees Supporting Attribution
Authors

Jean-Marie Gaillourdet; Patrick Michel; Arnd Poetzsch-Heffter; Nicole Rauch

ARI Id

1664720122637_2912481

Access

Not Available Free

Pages

72-89

DOI

10.1007/978-3-642-37651-1_4

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-37651-1_4

Table of Contents of Book
Showing 1 to 19 of 19 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Harald Ganzinger’s Legacy: Contributions to Logics and Programming
Deepak Kapur; Robert Nieuwenhuis; Andrei Voronkov; Christoph Weidenbach; Reinhard Wilhelm
1-18
Bio-Logics: Logical Analysis of Bioregulatory Networks
Alexander Bockmayr; Heike Siebert
19-34
Canonical Ground Horn Theories
Maria Paola Bonacina; Nachum Dershowitz
35-71
A Generic Functional Representation of Sorted Trees Supporting Attribution
Jean-Marie Gaillourdet; Patrick Michel; Arnd Poetzsch-Heffter; Nicole Rauch
72-89
The Blossom of Finite Semantic Trees
Jean Goubault-Larrecq; Jean-Pierre Jouannaud
90-122
Functional Logic Programming: From Theory to Curry
Michael Hanus
123-168
From Search to Computation: Redundancy Criteria and Simplification at Work
Thomas Hillenbrand; Ruzica Piskac; Uwe Waldmann; Christoph Weidenbach
169-193
Elimination Techniques for Program Analysis
Deepak Kapur
194-215
Narrowing Based Inductive Proof Search
Claude Kirchner; Hélène Kirchner; Fabrice Nahon
216-238
Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning
Konstantin Korovin
239-270
Common Knowledge Logic in a Higher Order Proof Assistant
Pierre Lescanne
271-284
Constructing Bachmair-Ganzinger Models
Christopher Lynch
285-301
Planning with Effectively Propositional Logic
Juan Antonio Navarro-Pérez; Andrei Voronkov
302-316
The Relative Power of Semantics and Unification
David A. Plaisted; Swaha Miller
317-344
First-Order Resolution Methods for Modal Logics
Renate A. Schmidt; Ullrich Hustadt
345-391
On Combinations of Local Theory Extensions
Viorica Sofronie-Stokkermans
392-413
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs
J. Kreiker; T. Reps; N. Rinetzky; M. Sagiv; Reinhard Wilhelm; E. Yahav
414-445
Back Matter
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 19 of 19 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings