Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials

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

An Analysis of Tennenbaum's Theorem in Constructive Type Theory

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

Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing

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

Variable binding and substitution for (nameless) dummies

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

Stabilized profunctors and stable species of structures

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

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests

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

Separators in Continuous Petri Nets

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

Towards Uniform Certification in QBF

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

Galois connecting call-by-value and call-by-name

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

Varieties of unary-determined distributive $ell$-magmas and bunched implication algebras

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

revTPL: The Reversible Temporal Process Language

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

Playing Safe, Ten Years Later

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

Linear Programs with Conjunctive Database Queries

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

Deciding Equations in the Time Warp Algebra

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

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language

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

Node Replication: Theory And Practice

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

Compositional Confluence Criteria

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

Foundations of probability-raising causality in Markov decision processes

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

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

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

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model

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