Decidability of Querying First-Order Theories via Countermodels of Finite Width

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

FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex

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

Crash-Stop Failures in Asynchronous Multiparty Session Types

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

Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories

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

Safety and Liveness of Quantitative Properties and Automata

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

A Game of Pawns

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

Strong negation in the theory of computable functionals TCF

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

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

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

Unbalanced Triangle Detection and Enumeration Hardness for Unions of Conjunctive Queries

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

Characterising memory in infinite games

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

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable

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

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

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

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

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

On the Existence of Reactive Strategies Resilient to Delay

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

Proof complexity of positive branching programs

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

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

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

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

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

Congruence Closure Modulo Groups

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

Playing Stochastically in Weighted Timed Games to Emulate Memory

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

A Simple Algorithm for Consistent Query Answering under Primary Keys

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