researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Conference series
prolamat 1984: PROLAMAT 1984
in ,
Conference
Call for Papers
Program
About the Conference
Conference Dates
Proceedings
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.