Logic and Machines 1983: Münster, Germany

Complexity

Algorithms

Automata and Machines

Decision Problems

Spektralproblem

Complexity of Boolean Functions

a service of Schloss Dagstuhl - Leibniz Center for Informatics