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 Universitat Münster/Westfalen - Borger, Egon 1946-; Hasenjaeger, Gisbert; Rodding, Dieter 1937- (Berlín : Springer, 1984)
Keywords: TEORIA DE LAS MAQUINAS -- CONGRESOS