Query learning of derived $omega$-tree languages in polynomial time

Get full text

Parity Games with Weights

Get full text

Abstract Completion, Formalized

Get full text

Bounded Quantifier Instantiation for Checking Inductive Invariants

Get full text

On the Succinctness of Atoms of Dependency

Get full text

Quantitative Automata under Probabilistic Semantics

Get full text

A categorical semantics for causal structure

Get full text

Companions, Causality and Codensity

Get full text

On the commutativity of the powerspace constructions

Get full text

Divergence and unique solution of equations

Get full text

Game characterizations and lower cones in the Weihrauch degrees

Get full text

Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs

Get full text

Normalizing the Taylor expansion of non-deterministic {lambda}-terms, via parallel reduction of resource vectors

Get full text

An efficient algorithm to decide periodicity of $b$-recognisable sets using LSDF convention

Get full text

Controlling a population

Get full text

A Forgotten Theory of Proofs ?

Get full text

Coherence for Frobenius pseudomonoids and the geometry of linear proofs

Get full text

Logical properties of random graphs from small addable classes

Get full text

Subspace-Invariant AC$^0$ Formulas

Get full text

Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs

Get full text