Preservation theorems for Tarski's relation algebra

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

Half-Positional Objectives Recognized by Deterministic Büchi Automata

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

Zeta Functions and the (Linear) Logic of Markov Processes

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

Controller Synthesis for Timeline-based Games

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

On two-variable guarded fragment logic with expressive local Presburger constraints

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

Deterministic pushdown automata can compress some normal sequences

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

Complexity results for modal logic with recursion via translations and tableaux

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

Decidability for Sturmian words

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

Isolated Suborders and their Application to Counting Closure Operators

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

A Session Type System for Asynchronous Unreliable Broadcast Communication

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

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications

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

Game Comonads & Generalised Quantifiers

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

Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi

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

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory

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

Many-valued coalgebraic logic over semi-primal varieties

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

Operations on Fixpoint Equation Systems

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

Twin-width and permutations

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

Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines

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

Simulations for Event-Clock Automata

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

On the Satisfiability of Local First-Order Logics with Data

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