Improving legibility of natural deduction proofs is not trivial

Get full text

On Separation by Locally Testable and Locally Threshold Testable Languages

Get full text

Fourier spectra of measures associated with algorithmically random Brownian motion

Get full text

Inferring Algebraic Effects

Get full text

Observationally-induced algebras in Domain Theory

Get full text

Corecursive Algebras, Corecursive Monads and Bloom Monads

Get full text

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