Monika Seisenberger

	2008
3		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		Monika Seisenberger: An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma. TYPES 2000: 233-242

Coauthor Index

1	Ulrich Berger	[2]
2	Helmut Schwichtenberg	[2]