Adaptable processes

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

Linear Dependent Types and Relative Completeness

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

Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees

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

Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds

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

Petri Net Reachability Graphs: Decidability Status of First Order Properties

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

Off-line test selection with test purposes for non-deterministic timed automata

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

On Berry's conjectures about the stable order in PCF

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

Parameterised Multiparty Session Types

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

Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

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

On streams that are finitely red

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

Essential Convexity and Complexity of Semi-Algebraic Constraints

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

Linear-use CPS translations in the Enriched Effect Calculus

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

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

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

Complexity classifications for different equivalence and audit problems for Boolean circuits

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

URSA: A System for Uniform Reduction to SAT

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

Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs

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

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

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

Applying CEGAR to the Petri Net State Equation

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

Forward Analysis for WSTS, Part II: Complete WSTS

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

Piecewise testable tree languages

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