TY - GEN A1 - Meer, Klaus A1 - Ziegler, Martin T1 - An explicit solution to Post's problem over the reals T2 - Journal of Complexity Y1 - 2009 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/4146 SN - 0885-064x VL - 24 IS - 1 SP - 3 EP - 15 ER -