Parity Games with Weights

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

Abstract Completion, Formalized

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

Bounded Quantifier Instantiation for Checking Inductive Invariants

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

On the Succinctness of Atoms of Dependency

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

Quantitative Automata under Probabilistic Semantics

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

A categorical semantics for causal structure

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

Companions, Causality and Codensity

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

On the commutativity of the powerspace constructions

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

Divergence and unique solution of equations

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

Game characterizations and lower cones in the Weihrauch degrees

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

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

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

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

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

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

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

Controlling a population

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

A Forgotten Theory of Proofs ?

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

Coherence for Frobenius pseudomonoids and the geometry of linear proofs

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

Logical properties of random graphs from small addable classes

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

Subspace-Invariant AC$^0$ Formulas

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

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

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

Guarded and Unguarded Iteration for Generalized Processes

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