BibTeX
@inproceedings{DBLP:conf/icalp/Hertling02,
author = {Peter Hertling},
title = {A Banach-Mazur Computable But Not Markov Computable Function
on the Computable Real Numbers},
booktitle = {ICALP},
year = {2002},
pages = {962-972},
ee = {http://link.springer.de/link/service/series/0558/bibs/2380/23800962.htm},
crossref = {DBLP:conf/icalp/2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icalp/2002,
editor = {Peter Widmayer and
Francisco Triguero Ruiz and
Rafael Morales Bueno and
Matthew Hennessy and
Stephan Eidenbenz and
Ricardo Conejo},
title = {Automata, Languages and Programming, 29th International
Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002,
Proceedings},
booktitle = {ICALP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2380},
year = {2002},
isbn = {3-540-43864-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-06-28 by Michael Ley (ley@uni-trier.de)