Descubre la profundidad de los debates sobre complejidad algorítmica y estructuras formales en este compendio de ponencias del Simposio STACS 99, celebrado en Trier, Alemania, entre el 4 y 6 de marzo de 1999, que reúne investigaciones pioneras en teoría de la computación.