@misc{Meer, author = {Meer, Klaus}, title = {Complexity aspects of a semi-infinite optimization problem}, series = {Optimization : a Journal of Mathematical Programming and Operations Research}, volume = {57}, journal = {Optimization : a Journal of Mathematical Programming and Operations Research}, number = {1}, issn = {1029-4945}, pages = {143 -- 152}, language = {en} } @misc{MeerRautenbach, author = {Meer, Klaus and Rautenbach, Dieter}, title = {On the OBDD size for graphs of bounded tree- and clique-width}, language = {en} } @misc{MeerZiegler, author = {Meer, Klaus and Ziegler, Martin}, title = {An explicit solution to Post's problem over the reals}, series = {Journal of Complexity}, volume = {24}, journal = {Journal of Complexity}, number = {1}, issn = {0885-064x}, pages = {3 -- 15}, language = {en} } @inproceedings{MeerZiegler, author = {Meer, Klaus and Ziegler, Martin}, title = {Real Computational Universality: The word problem for a class of groups with infinite presentation}, series = {Mathematical foundations of computer science 2007, 32nd international symposium, MFCS 2007, Česk{\´y} Krumlov, Czech Republic, August 26-31, 2007, proceedings}, booktitle = {Mathematical foundations of computer science 2007, 32nd international symposium, MFCS 2007, Česk{\´y} Krumlov, Czech Republic, August 26-31, 2007, proceedings}, editor = {Kučera, Luděk}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-74455-9}, pages = {726 -- 737}, language = {en} } @inproceedings{MeerZiegler, author = {Meer, Klaus and Ziegler, Martin}, title = {Uncomputability below the real halting problem}, series = {Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings.}, booktitle = {Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings.}, editor = {Beckmann, Arnold}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-35466-6}, pages = {368 -- 377}, language = {en} } @inproceedings{Meer, author = {Meer, Klaus}, title = {Optimization and approximation problems related to polynominal system solving}, series = {Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings}, booktitle = {Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings}, editor = {Beckmann, Arnold}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-35466-6}, pages = {360 -- 367}, language = {en} } @inproceedings{Meer, author = {Meer, Klaus}, title = {On the approximation of interval functions}, language = {en} } @inproceedings{FlarupHansenMeer, author = {Flarup Hansen, Uffe and Meer, Klaus}, title = {Two logical hierarchies of optimization problems over the real numbers}, series = {Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005}, booktitle = {Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005}, editor = {Jedrzejowicz, Joanna}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-29702-5}, pages = {459 -- 470}, language = {en} } @inproceedings{MeerZiegler, author = {Meer, Klaus and Ziegler, Martin}, title = {An explicit solution to Post's problem over the reals}, series = {Fundamentals of computation theory, 15th international symposium, FCT 2005, L{\"u}beck, Germany, August 17 - 20, 2005}, booktitle = {Fundamentals of computation theory, 15th international symposium, FCT 2005, L{\"u}beck, Germany, August 17 - 20, 2005}, editor = {Liskiewicz, Maciej}, publisher = {Springer}, address = {Berlin}, isbn = {3-540-28193-2}, pages = {456 -- 467}, language = {en} } @inproceedings{Meer, author = {Meer, Klaus}, title = {On some relations between approximation and PCPs over the real numbers}, series = {New computational paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8 - 12, 2005}, booktitle = {New computational paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8 - 12, 2005}, editor = {Cooper, Stuart Barry}, publisher = {Springer}, address = {Heidelberg [u.a.]}, isbn = {3-540-26179-6}, pages = {322 -- 331}, language = {en} }