The Complexity of Reachability in Affine Vector Addition Systems with States

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

Affine Extensions of Integer Vector Addition Systems with States

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

Encoding many-valued logic in $lambda$-calculus

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

Discovering ePassport Vulnerabilities using Bisimilarity

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

Algebraic cocompleteness and finitary functors

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

Predicative theories of continuous lattices

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

A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice

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

Star Games and Hydras

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

Interface Modeling for Quality and Resource Management

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

Theories of real addition with and without a predicate for integers

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

Presentable signatures and initial semantics

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

Partially Ordered Automata and Piecewise Testability

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

Decidability for Entailments of Symbolic Heaps with Arrays

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

Parametric updates in parametric timed automata

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

DRAT and Propagation Redundancy Proofs Without New Variables

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

Failure Trace Semantics for a Process Algebra with Time-outs

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

LNL-FPC: The Linear/Non-linear Fixpoint Calculus

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

Constructing Higher Inductive Types as Groupoid Quotients

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

Reachability Switching Games

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

Logic for exact real arithmetic

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