Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}