Interaction Graphs: Exponentials

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

Approximability in the GPAC

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

The Data Complexity of Ontology-Mediated Queries with Closed Predicates

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

Alternating, private alternating, and quantum alternating realtime automata

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

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

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

Parity Games with Weights

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

Abstract Completion, Formalized

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

Bounded Quantifier Instantiation for Checking Inductive Invariants

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

On the Succinctness of Atoms of Dependency

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

Quantitative Automata under Probabilistic Semantics

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

A categorical semantics for causal structure

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

Companions, Causality and Codensity

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

On the commutativity of the powerspace constructions

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

Divergence and unique solution of equations

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

Game characterizations and lower cones in the Weihrauch degrees

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

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

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

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

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

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

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

Controlling a population

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

A Forgotten Theory of Proofs ?

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