Quantified CTL: Expressiveness and Complexity

Get full text

Global semantic typing for inductive and coinductive computing

Get full text

Bounded variation and the strength of Helly's selection theorem

Get full text

Sub-computable Boundedness Randomness

Get full text

Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction

Get full text

State of Büchi Complementation

Get full text

Cost Preserving Bisimulations for Probabilistic Automata

Get full text

Algorithmic randomness for Doob's martingale convergence theorem in continuous time

Get full text

On the Relation of Interaction Semantics to Continuations and Defunctionalization

Get full text

An Effect System for Algebraic Effects and Handlers

Get full text

Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus

Get full text

Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time

Get full text

Stochastic Timed Automata

Get full text

Decidability Problems for Actor Systems

Get full text

The Power of Priority Channel Systems

Get full text

On the strictness of the quantifier structure hierarchy in first-order logic

Get full text

Connection Matrices and the Definability of Graph Parameters

Get full text

Full abstraction for fair testing in CCS (expanded version)

Get full text

Constructing categories and setoids of setoids in type theory

Get full text

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

Get full text