Random strings and tt-degrees of Turing complete C.E. sets

Get full text

Categorical Proof Theory of Co-Intuitionistic Linear Logic

Get full text

Analysis of Timed and Long-Run Objectives for Markov Automata

Get full text

When is a container a comonad?

Get full text

Computable Jordan Decomposition of Linear Continuous Functionals on $C[0;1]$

Get full text

Ambiguity of {omega}-Languages of Turing Machines

Get full text

Refinement and Difference for Probabilistic Automata

Get full text

A Concurrent Pattern Calculus

Get full text

Deciding Conditional Termination

Get full text

On Ramsey properties of classes with forbidden trees

Get full text

Reductions to the set of random strings: The resource-bounded case

Get full text

Finite state verifiers with constant randomness

Get full text

Representations of measurable sets in computable measure theory

Get full text

A Fragment of Dependence Logic Capturing Polynomial Time

Get full text

Automata theory in nominal sets

Get full text

Decidability Results for the Boundedness Problem

Get full text

Classical propositional logic and decidability of variables in intuitionistic propositional logic

Get full text

Synthesis from Probabilistic Components

Get full text

Small Stone in Pool

Get full text

Parity and Streett Games with Costs

Get full text