%0 Conference Paper %1 journals/entcs/Escardo98 %A Escardó, Martín Hötzel %B COMPROX %D 1997 %E Edalat, Abbas %E Jung, Achim %E Keimel, Klaus %E Kwiatkowska, Marta Z. %I Elsevier %K dblp %P 53-68 %T Effective and sequential definition by cases on the reals via infinite signed-digit numerals. %U http://dblp.uni-trier.de/db/journals/entcs/entcs13.html#Escardo98 %V 13

@inproceedings{journals/entcs/Escardo98, added-at = {2022-11-11T00:00:00.000+0100}, author = {Escardó, Martín Hötzel}, biburl = {https://www.bibsonomy.org/bibtex/2837c8c9a884c9bc24655b4cfd3a928c0/dblp}, booktitle = {COMPROX}, crossref = {conf/comprox/1997}, editor = {Edalat, Abbas and Jung, Achim and Keimel, Klaus and Kwiatkowska, Marta Z.}, ee = {https://doi.org/10.1016/S1571-0661(05)80214-2}, interhash = {390837000f2d152d7c963c73552957f6}, intrahash = {837c8c9a884c9bc24655b4cfd3a928c0}, keywords = {dblp}, pages = {53-68}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T00:00:48.000+0200}, title = {Effective and sequential definition by cases on the reals via infinite signed-digit numerals.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs13.html#Escardo98}, volume = 13, year = 1997 }