Algebraic Presentations of Type Dependency

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

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure

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

Random Deterministic Automata With One Added Transition

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

Multi-Structural Games and Number of Quantifiers

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

Diversity of Answers to Conjunctive Queries

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

Decidability of One-Clock Weighted Timed Games with Arbitrary Weights

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

Quantitative Equality in Substructural Logic via Lipschitz Doctrines

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

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity

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

Complete and tractable machine-independent characterizations of second-order polytime

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

Regular Model Checking Upside-Down: An Invariant-Based Approach

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

Checkpoint-based rollback recovery in session programming

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

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder

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

Integration in Cones

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

Multi-Structural Games and Beyond

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

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics

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

Unifying cubical and multimodal type theory

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

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space

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

On the Home-Space Problem for Petri Nets and its Ackermannian Complexity

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

Kleene Theorem for Higher-Dimensional Automata

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

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints

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