You have Guest access.
Log In
Franz Baader and Andrei Voronkov
Front matter
1-20
CERES in Many-Valued Logics
21-35
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi
36-50
Abstract DPLL and Abstract DPLL Modulo Theories
51-66
Combining Lists with Non-stably Infinite Theories
67-78
Abstract Model Generation for Preprocessing Clause Sets
79-94
Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying
95-109
Applications of General Exact Satisfiability in Propositional Logic Modelling
110-124
BCiC: A System for Code Authentication and Verification
125-141
Ordered Resolution with Selection for H(@)\mathcal{H}(@)
142-153
On a Semantic Subsumption Test
154-168
Suitable Graphs for Answer Set Programming
169-183
Weighted Answer Sets and Applications in Intelligence Analysis
184-193
How to Fix It: Using Fixpoints in Different Contexts
194-208
Reasoning About Systems with Transition Fairness
209-223
Entanglement – A Measure for the Complexity of Directed Graphs with Applications to Logic and Games
224-239
How the Location of * Influences Complexity in Kleene Algebra with Tests
240-256
The Equational Theory of 〈ℕ, 0, 1, + , ×, ↑〉 Is Decidable, but Not Finitely Axiomatisable
257-269
A Trichotomy in the Complexity of Propositional Circumscription
270-284
Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems
285-300
Evaluating QBFs via Symbolic Skolemization
301-331
The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs
332-346
Automated Termination Analysis for Incompletely Defined Programs
347-362
Automatic Certification of Heap Consumption
363-379
A Formalization of Off-Line Guessing for Security Protocol Analysis
380-397
Abstraction-Carrying Code
398-414
A Verification Environment for Sequential Imperative Programs in Isabelle/HOL
415-431
Can a Higher-Order and a First-Order Theorem Prover Cooperate?
432
A Generic Framework for Interprocedural Analyses of Numerical Properties
433-448
Second-Order Matching via Explicit Substitutions
449-465
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
466-480
The Inverse Method for the Logic of Bunched Implications
481-495
Cut-Elimination: Experiments with CERES
496-510
Uniform Rules and Dialogue Games for Fuzzy Logics
511-527
Nonmonotonic Description Logic Programs: Implementation and Experiments
528-543
Implementing Efficient Resource Management for Linear Logic Programming
544-559
Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info