TY  - BOOK
AU  - Symposium on "Rekursive Kombinatorik" ( 1983
ED  - Borger, E., ed.
ED  - Hasenjaeger, G., ed.
ED  - Rodding, D., ed.
TI  - Logic and machines : decision problems and complexity /ed. by E. Borger, G. Hasenjaeger and D. Rodding
T2  - Lecture Notes in Computer Science, 171
SN  - 3540133313
U1  - 511 
PY  - 1984///
CY  - Berlin
PB  - Springer-Verlag
ER  -