| |
| 2008 | ||
|---|---|---|
| 3 | EE | Monika Seisenberger: Programs from proofs using classical dependent choice. Ann. Pure Appl. Logic 153(1-3): 97-110 (2008) |
| 2001 | ||
| 2 | Ulrich Berger, Helmut Schwichtenberg, Monika Seisenberger: The Warshall Algorithm and Dickson?s Lemma: Two Examples of Realistic Program Extraction. J. Autom. Reasoning 26(2): 205-221 (2001) | |
| 2000 | ||
| 1 | EE | Monika Seisenberger: An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma. TYPES 2000: 233-242 |
| 1 | Ulrich Berger | [2] |
| 2 | Helmut Schwichtenberg | [2] |