Reihe Progress in Theoretical Computer Science

The Combinatory Programme

Complexity Theory of Real Functions

Algorithms for Random Generation and Counting: A Markov Chain Approach

Semantics of Type Theory

Neural Networks and Analog Computation

Solving Higher-Order Equations

Finite Automata, Formal Logic, and Circuit Complexity

The Graph Isomorphism Problem

Subrecursive Programming Systems

Polynomial and Matrix Computations