Ambiguity Hierarchy of Regular Infinite Tree Languages

Get full text

A Complete Axiomatisation for Quantifier-Free Separation Logic

Get full text

Decision problems for linear recurrences involving arbitrary real numbers

Get full text

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic

Get full text

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

Get full text

Relating Apartness and Bisimulation

Get full text

Representing Continuous Functions between Greatest Fixed Points of Indexed Containers

Get full text

Multimodal Dependent Type Theory

Get full text

On p/q-recognisable sets

Get full text

Distribution Bisimilarity via the Power of Convex Algebras

Get full text

Foundations of Online Structure Theory II: The Operator Approach

Get full text

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

Get full text

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

Get full text

Pumping lemmas for weighted automata

Get full text

Axiomatizing Hybrid XPath with Data

Get full text

Presburger Arithmetic with algebraic scalar multiplications

Get full text

The Complexity of Reachability in Affine Vector Addition Systems with States

Get full text

Affine Extensions of Integer Vector Addition Systems with States

Get full text

Encoding many-valued logic in $lambda$-calculus

Get full text

Discovering ePassport Vulnerabilities using Bisimilarity

Get full text