CCA 2004 Preliminary Version

Ejemplo de bibliografia
Rafael Garca 1
Dpto. Ingeniera de Sistemas y Computaci
on
Universidad de Los Andes
Bogot
a, Colombia

Abstract
bla bla bla ...
Key words: Computable analysis, metric bundle, representation
by sections, TTE.

Introduction

La idea es ver la forma en que se genera la lista de referencia a partir de un

archivo dado.
Note que al finalizar el documento se incluye el comando nocite y entre
corchetes una lista de referencias. Estas referencias no aparecen directamente
citadas a lo largo del texto y sinembargo fueron consultadas para su elaboracion, por tal motivo deben ser incluidas. Utilice el comando nocite para
incluir en las referencias toda aquella referencia que no es citada directamente.
Para citar otras fuentes basta con incluir las referencias, por ejemplo:
En [1,3] el profesor Brattka propone una aproximacion...bla-bla-bla.
Note que en la lista de referencias finales solo aparecen aquellas que fueron
citadas en el texto ([1,3]) y las que no fueron citadas pero si referidas con el
comando nocite.
La forma de construir el archivo BundleT2CF, lugar de donde se tomaron
las referencias en este caso, es clara si se lee su contenido. Ese archivo es indispensable si se desea generar la bibliografa automaticamente, en caso contrario
solo hagalo seg
un el ejemplo que encuentra en el archivo examplpdf.tex.

Email: rgarcia@uniandes.edu.co
This is a preliminary version. The final version will be published in
Electronic Notes in Theoretical Computer Science
URL: www.elsevier.nl/locate/entcs

Garcia

References
[1] Vasco Brattka. Computable invariance.
210(1):320, 1999.

Theoretical Computer Science,

[2] Vasco Brattka. Computability over topological structures. In S. Barry Cooper

and Sergey S. Goncharov, editors, Computability and Models, pages 93136.
Kluwer Academic Publishers, 2003.
[3] Vasco Brattka. Recursive quasi-metric spaces. Theoretical Computer Science,
305(1-3):1742, 2003.
[4] Rafael Garca. Campos de espacios metricos de funciones. Masters thesis,
Universidad Nacional de Colombia, Bogota, Colombia, 1998.
[5] Peter Hertling. Computable real functions: Type 1 computability versus type
2 computability. In CCA, 1996.
[6] Edilberto Reyes. Representacion por secciones de funciones semicontinuas.
Masters thesis, Universidad Nacional de Colombia, Bogota, Colombia, 1993.
[7] Matthias Schroder. A natural weak limit space with admissible representation
which is not a limit space. In Vasco Brattka, Matthias Schroder, and
Klaus Weihrauch, editors, Electronic Notes in Theoretical Computer Science,
volume 66. Elsevier, 2002.
[8] George Simmons. Introduction to Topology and Modern Analysis. McGraw-Hill
International Editions, Singapore, 1963.
[9] Stephen Willard. General Topology. Addison-Wesley Publishing Company,
New York, 1970.
[10] Mariko Yasugi, Vasco Brattka, and Masako Washihara. Limit computation
of some discontinuous functions. Theoretical development and feasibility
of mathematical analysis on the computer, 1286 of Surikaisekikenkyusho
Kokyuroku, 2002.