Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees

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

Conjunctive Queries with Free Access Patterns under Updates

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

Indivisibility and uniform computational strength

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

The Identity Problem in the special affine group of $mathbb{Z}^2$

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

Relating Reversible Petri Nets and Reversible Event Structures, categorically

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

Stochastic Window Mean-Payoff Games

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

Discounted-Sum Automata with Multiple Discount Factors

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

Completions of Kleene's second model

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

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

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

Structural Reductions and Stutter Sensitive Properties

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

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

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

The Many-Worlds Calculus

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

Ranked Enumeration of Conjunctive Query Results

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

Drawing with Distance

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

String Diagrams for Premonoidal Categories

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

Left-Linear Completion with AC Axioms

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

A robust graph-based approach to observational equivalence

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

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