LATIN 2000 theoretical informatics : 4th Latin American symposium, Punta del Este, Uruguay, April 10-14, 2000 : proceedings / - Gonnet, G. H.; Panario, Daniel,; Viola, Alfredo, (Lecture notes in computer science,)