| CERES in Many-Valued Logics A Decomposition Rule for Decision Procedures by Resolution-Based Calculi Abstract DPLL and Abstract DPLL Modulo Theories Combining Lists with Non-stably Infinite Theories Abstract Model Generation for Preprocessing Clause Sets Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying Applications of General Exact Satisfiability in Propositional Logic Modelling BCiC: A System for Code Authenticationand Verification Ordered Resolution with Selection for On a Semantic Subsumption Test Suitable Graphs for Answer Set Programming Weighted Answer Sets and Applications in Intelligence Analysis How to Fix It: Using Fixpoints in Different Contexts Reasoning About Systems with Transition Fairness Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games How the Location of ~ Influences Complexity in Kleene Algebra with Tests The Equational Theory of (N, 0, 1, +, x, T} Is Decidable, but Not Finitely Axiomatisable A Trichotomy in the Complexity of Propositional Circumscription Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems Evaluating QBFs via Symbolic Skolemization The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs Automated Termination Analysis for Incompletely Defined Programs Automatic Certification of Heap Consumption A Formalization of Off-Line Guessing for Security Protocol Analysis Abstraction-Carrying Code A Verification Environment for Sequential Imperative Programs in Isabelle/HOL Can a Higher-Order and a First-Order Theorem Prover Cooperate? A Generic Framework for Interprocedural Analyses of Numerical Properties …… Author Index |
内容加载中，请稍后...
商品评论（0条）