Canonical Models and the Complexity of Modal Team Logic

Get full text

Streamability of nested word transductions

Get full text

Abstract Hidden Markov Models: a monadic account of quantitative information flow

Get full text

Moschovakis Extension of Represented Spaces

Get full text

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture

Get full text

On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory

Get full text

A classical groupoid model for quantum networks

Get full text

Proving Soundness of Extensional Normal-Form Bisimilarities

Get full text

Topological Scott Convergence Theorem

Get full text

Initial Semantics for Reduction Rules

Get full text

Stone-Type Dualities for Separation Logics

Get full text

On the First-Order Complexity of Induced Subgraph Isomorphism

Get full text

Capturing Polynomial Time using Modular Decomposition

Get full text

Web spaces and worldwide web spaces: topological aspects of domain theory

Get full text

The principle of pointfree continuity

Get full text

On the Incomparability of Cache Algorithms in Terms of Timing Leakage

Get full text

Displayed Categories

Get full text

Shortest paths in one-counter systems

Get full text

Thin Games with Symmetry and Concurrent Hyland-Ong Games

Get full text

Behavioural equivalences for timed systems

Get full text