3 Results for (keywords_en:PROOF THEORY)

Subscribe to RSS feed for this result set

1. TAP 2009: short papers

Blanchette, J.C., Nipkow, Tobias, Cama, Benjamin, Gotlieb, Arnaud, Andrade-Barroso, Guillermo, Neumann, Rebecca, Thies, Michael and Karstens, Uwe (2009)


Reports

2. Cryptographically relevant contributions to combinational complexity theory

Hiltgen, Alain P.L. (1993)


Doctoral and Habilitation Theses

3. Robuste Logik

Hösli, Brigitte (1993)


Doctoral and Habilitation Theses