E. Börger | G. Hasenjaeger | D. Rödding
Logic and Machines: Decision Problems and Complexity
Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen