Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Formalization of Off-Line Guessing for Security Protocol Analysis -- Abstraction-Carrying Code -- A Verification...”
Cover Image
Read Now

2
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- A constructive logic approach to database theory -- Abstract syntax and logic programming...”
Cover Image
Read Now

3
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Bounds for MAX-SAT by Clause Learning -- Towards Hierarchical Clustering (Extended Abstract...”
Cover Image
Read Now

4
Published 2008
Springer Berlin Heidelberg
Table of Contents: “..., and confluence. -- Term-Graph Rewriting Via Explicit Paths -- Finer Is Better: Abstraction Refinement...”
Cover Image
Read Now

5
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Static Reduction Analysis for Imperative Object Oriented Languages -- An Abstract Interpretation Approach...”
Cover Image
Read Now

6
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- An Incremental Approach to Abstraction-Carrying Code -- Context-Sensitive Multivariant Assertion Checking...”
Cover Image
Read Now

7
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... with Datalog -- Magically Constraining the Inverse Method Using Dynamic Polarity Assignment -- Lazy Abstraction...”
Cover Image
Read Now

8
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Resources -- Deriving State-Based Implementations of Interactive Components with History Abstractions...”
Cover Image
Read Now

9
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...On Module-Based Abstraction and Repair of Behavioral Programs -- Predictionand Explanation over DL...”
Cover Image
Read Now

10
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- Abstracting Properties in Concurrent Constraint Programming -- A Fixpoint Semantics for Reasoning about Finite...”
Cover Image
Read Now

11
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Foundations of Logic -- The Functions Provable by First Order Abstraction -- A Local System for Classical...”
Cover Image
Read Now

12
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Automata on Infinite Words -- Gandy’s Theorem for Abstract Structures without the Equality Test...”
Cover Image
Read Now

13
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Verification Via Rigid/Flexible Resolution -- Preferential Description Logics -- On Two Extensions of Abstract...”
Cover Image
Read Now

14
Published 2018
Springer International Publishing
Table of Contents: “...Approximating Event System Abstractions by Covering Their States and Transitions -- Implementing...”
Cover Image
Read Now

15
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... (Extended Abstract) -- Invariants, Modularity, and Rights -- Distributed Embedded Systems: Reconciling...”
Cover Image
Read Now

16
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Model Checking Abstract State Machines with Answer Set Programming -- Characterizing Provability...”
Cover Image
Read Now

17
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... planning and the frame problem -- On resolution in fragments of classical linear logic (extended abstract...”
Cover Image
Read Now

18
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... by Complementation (Extended Abstract) -- Discounted Properties of Probabilistic Pushdown Automata -- Session 5...”
Cover Image
Read Now

19
Published 2012
Springer Berlin Heidelberg
“... on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract...”
Cover Image
Read Now

20
Published 2002
Springer Berlin Heidelberg
“.... In addition to the refereed papers, this volume contains an extended abstract of the CADE invited talk by Ian...”