Sharing proofs with predicative theories through universe-polymorphic elaboration

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

QBF Merge Resolution is powerful but unnatural

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

Simply typed convertibility is TOWER-complete even for safe lambda-terms

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

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