Follow

Dissertations from 2003

PDF

Symbolic model checking using algebraic geometry, Volker Ecke

Dissertations from 2001

PDF

Asymptotic Hodge theory and applications, Javier Alejandro Fernandez