TY - CONF A1 - Meer, Klaus A1 - Ziegler, Martin A2 - Liskiewicz, Maciej T1 - An explicit solution to Post's problem over the reals T2 - Fundamentals of computation theory, 15th international symposium, FCT 2005, Lübeck, Germany, August 17 - 20, 2005 Y1 - 2009 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/4162 SN - 3-540-28193-2 SP - 456 EP - 467 PB - Springer CY - Berlin ER -