Guarded and Unguarded Iteration for Generalized Processes

Get full text

Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies

Get full text

Regular Separability of One Counter Automata

Get full text

Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic

Get full text

Bisimulations for Delimited-Control Operators

Get full text

An $omega$-Algebra for Real-Time Energy Problems

Get full text

The logical strength of Büchi's decidability theorem

Get full text

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

Get full text

Every metric space is separable in function realizability

Get full text

On the Expressiveness and Monitoring of Metric Temporal Logic

Get full text

A Denotational Semantics for SPARC TSO

Get full text

A Strategy for Dynamic Programs: Start over and Muddle through

Get full text

Covering and separation for logical fragments with modular predicates

Get full text

Polishness of some topologies related to word or tree automata

Get full text

Reasoning about effects: from lists to cyber-physical agents

Get full text

Feedback computability on Cantor space

Get full text

The height of piecewise-testable languages and the complexity of the logic of subwords

Get full text

All-Path Reachability Logic

Get full text

Validity and Entailment in Modal and Propositional Dependence Logics

Get full text

Generalised Mermin-type non-locality arguments

Get full text