General Bindings and Alpha-Equivalence in Nominal Isabelle

Subjects: “…Computer Science & Information Science…”
Get full text

Model Checking Vector Addition Systems with one zero-test

Subjects: “…Computer Science & Information Science…”
Get full text

Generic Fibrational Induction

Subjects: “…Computer Science & Information Science…”
Get full text

Dynamic Dependency Pairs for Algebraic Functional Systems

Subjects: “…Computer Science & Information Science…”
Get full text

Refining Inductive Types

Subjects: “…Computer Science & Information Science…”
Get full text

Width and size of regular resolution proofs

Subjects: “…Computer Science & Information Science…”
Get full text

Modes of Convergence for Term Graph Rewriting

Subjects: “…Computer Science & Information Science…”
Get full text

On the equivalence of game and denotational semantics for the probabilistic mu-calculus

Subjects: “…Computer Science & Information Science…”
Get full text

Secure the Clones

Subjects: “…Computer Science & Information Science…”
Get full text

Quantifier-Free Interpolation of a Theory of Arrays

Subjects: “…Computer Science & Information Science…”
Get full text

Intuitionistic implication makes model checking hard

Subjects: “…Computer Science & Information Science…”
Get full text

Barriers in Concurrent Separation Logic: Now With Tool Support!

Subjects: “…Computer Science & Information Science…”
Get full text

Extended Initiality for Typed Abstract Syntax

Subjects: “…Computer Science & Information Science…”
Get full text

Tree-width for first order formulae

Subjects: “…Computer Science & Information Science…”
Get full text

A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

Subjects: “…Computer Science & Information Science…”
Get full text

A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving

Subjects: “…Computer Science & Information Science…”
Get full text

On Irrelevance and Algorithmic Equality in Predicative Type Theory

Subjects: “…Computer Science & Information Science…”
Get full text

Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus

Subjects: “…Computer Science & Information Science…”
Get full text

Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs

Subjects: “…Computer Science & Information Science…”
Get full text

On the Parameterized Intractability of Monadic Second-Order Logic

Subjects: “…Computer Science & Information Science…”
Get full text