dblp.uni-trier.dewww.uni-trier.de

Monika Seisenberger

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)