A Complete Axiomatisation for Quantifier-Free Separation Logic

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

Decision problems for linear recurrences involving arbitrary real numbers

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

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic

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

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

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

Relating Apartness and Bisimulation

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

Representing Continuous Functions between Greatest Fixed Points of Indexed Containers

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

Multimodal Dependent Type Theory

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

On p/q-recognisable sets

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

Distribution Bisimilarity via the Power of Convex Algebras

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

Foundations of Online Structure Theory II: The Operator Approach

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

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity

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

A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

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

Pumping lemmas for weighted automata

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

Axiomatizing Hybrid XPath with Data

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

Presburger Arithmetic with algebraic scalar multiplications

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

The Complexity of Reachability in Affine Vector Addition Systems with States

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

Affine Extensions of Integer Vector Addition Systems with States

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

Encoding many-valued logic in $lambda$-calculus

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

Discovering ePassport Vulnerabilities using Bisimilarity

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

Algebraic cocompleteness and finitary functors

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