Ranked Enumeration of Conjunctive Query Results

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

Drawing with Distance

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

String Diagrams for Premonoidal Categories

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

Left-Linear Completion with AC Axioms

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

A robust graph-based approach to observational equivalence

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

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

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

FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex

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

Crash-Stop Failures in Asynchronous Multiparty Session Types

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

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

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

Safety and Liveness of Quantitative Properties and Automata

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

A Game of Pawns

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

Strong negation in the theory of computable functionals TCF

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

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