About the Expressive Power and Complexity of Order-Invariance with Two Variables

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

Unbalanced Triangle Detection and Enumeration Hardness for Unions of Conjunctive Queries

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

Characterising memory in infinite games

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

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable

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

With a little help from your friends: semi-cooperative games via Joker moves

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

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic

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

On the Existence of Reactive Strategies Resilient to Delay

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

Proof complexity of positive branching programs

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

On The Axioms Of $mathcal{M},mathcal{N}$-Adhesive Categories

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

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries

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

Congruence Closure Modulo Groups

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

Playing Stochastically in Weighted Timed Games to Emulate Memory

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

A Simple Algorithm for Consistent Query Answering under Primary Keys

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

Constant-delay enumeration for SLP-compressed documents

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

The Formal Theory of Monads, Univalently

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

Bisimilarity in fresh-register automata

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

Algebraic Presentations of Type Dependency

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

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure

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

Random Deterministic Automata With One Added Transition

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

Multi-Structural Games and Number of Quantifiers

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