Definability and Interpolation within Decidable Fixpoint Logics

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

Higher-dimensional automata modeling shared-variable systems

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

Regular tree languages in low levels of the Wadge Hierarchy

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

A diagrammatic calculus of fermionic quantum circuits

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

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