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/Westfahlen - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Egon Börger, Gisbert Hasenjaeger, Dieter Rödding, editors, 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/Westfahlen. Volume 171 of Lecture Notes in Computer Science, Springer, 1984.

Conference: prolamat1984

This author has not been identified. It may be one of the following persons:

Egon Börger

Look up 'Egon Börger' in GoogleThis author has not been identified. Look up 'Gisbert Hasenjaeger' in GoogleThis author has not been identified. Look up 'Dieter Rödding' in Google

runs on WebDSL