TY - GEN A1 - Meer, Klaus T1 - Complexity aspects of a semi-infinite optimization problem T2 - Optimization : a Journal of Mathematical Programming and Operations Research Y1 - 2008 SN - 1029-4945 SN - 0233-1934 VL - 57 IS - 1 SP - 143 EP - 152 ER - TY - GEN A1 - Meer, Klaus A1 - Rautenbach, Dieter T1 - On the OBDD size for graphs of bounded tree- and clique-width Y1 - 2009 ER - TY - GEN A1 - Meer, Klaus A1 - Ziegler, Martin T1 - An explicit solution to Post's problem over the reals T2 - Journal of Complexity Y1 - 2008 SN - 0885-064x VL - 24 IS - 1 SP - 3 EP - 15 ER - TY - CHAP A1 - Meer, Klaus A1 - Ziegler, Martin ED - Kučera, Luděk T1 - Real Computational Universality: The word problem for a class of groups with infinite presentation T2 - Mathematical foundations of computer science 2007, 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007, proceedings Y1 - 2007 SN - 978-3-540-74455-9 SP - 726 EP - 737 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Meer, Klaus A1 - Ziegler, Martin ED - Beckmann, Arnold T1 - Uncomputability below the real halting problem T2 - Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings. Y1 - 2006 SN - 978-3-540-35466-6 SP - 368 EP - 377 PB - Springer CY - Berlin ER - TY - CHAP A1 - Meer, Klaus ED - Beckmann, Arnold T1 - Optimization and approximation problems related to polynominal system solving T2 - Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings Y1 - 2006 SN - 978-3-540-35466-6 SP - 360 EP - 367 PB - Springer CY - Berlin ER - TY - CHAP A1 - Meer, Klaus T1 - On the approximation of interval functions Y1 - 2006 ER - TY - CHAP A1 - Flarup Hansen, Uffe A1 - Meer, Klaus ED - Jedrzejowicz, Joanna T1 - Two logical hierarchies of optimization problems over the real numbers T2 - Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005 Y1 - 2005 SN - 978-3-540-29702-5 SP - 459 EP - 470 PB - Springer CY - Berlin ER - TY - CHAP A1 - Meer, Klaus A1 - Ziegler, Martin ED - 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 - 2005 SN - 3-540-28193-2 SP - 456 EP - 467 PB - Springer CY - Berlin ER - TY - CHAP A1 - Meer, Klaus ED - Cooper, Stuart Barry T1 - On some relations between approximation and PCPs over the real numbers T2 - New computational paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8 - 12, 2005 Y1 - 2005 SN - 3-540-26179-6 SP - 322 EP - 331 PB - Springer CY - Heidelberg [u.a.] ER -