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

Egon Börger Gisbert Hasenjaeger Dieter 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 Logic and Machines Lecture Notes in Computer Science 171 Springer 1984 3-540-13331-3 db/conf/lam/lam1983.html