Reihe Progress in Theoretical Computer Science

Finite Automata, Formal Logic, and Circuit Complexity

The Graph Isomorphism Problem

Nondeterminism in Algebraic Specifications and Algebraic Programs

Algorithms for Random Generation and Counting: A Markov Chain Approach

Categorical Combinators, Sequential Algorithms, and Functional Programming

Verifying Temporal Properties of Systems

Linear Programming

Canonical Equational Proofs

Logic of Domains