Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures

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

Structural Reductions and Stutter Sensitive Properties

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

The categorical contours of the Chomsky-Schützenberger representation theorem

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

The Many-Worlds Calculus

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

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