Collection's content

Document type
- Objeto de conferencia (6)
- Resumen (2)
Date Issued
- 2002 (8)
Subject
- Ciencias Informáticas (8)
Author
Keyword

Argentine Workshop on Theoretical Computer Science (WAIT 2002)

Entidad de Origen: Sociedad Argentina de Informática e Investigación Operativa (SADIO), Facultad Regional Santa Fe (UTN)

Fecha: 9 al 13 de septiembre de 2002

Lugar: Santa Fe

ISSN: 1666-1133

Browse by

Recent Submissions

Deformation techniques for counting the real solutions of specific polynomial equation systems Dratman, E.; Matera, G.;
Parallel Query Processing in Textual Databases Marín, Mauricio; Bonacic, Carolina; ...
Internal Program Extraction in the Calculus of Inductive Constructions Severi, Paula; Szasz, Nora;
Quantifier elimination and destruction of knowledge Heintz, Joos;
Improving the Verification of Timed Systems using Influence Information Braverman, Víctor;