Searching for authors named "Monika Seisenberger" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Disciplinary Commons – Portfolio on the course Introduction to Computing
- …Disciplinary Commons – Portfolio on the course Introduction to Computing Monika Seisenberger…
- Add To MetaCart
-
The Warshall Algorithm and Dickson's Lemma: Two Examples of realistic program extraction
- … Berger, Helmut Schwichtenberg and Monika Seisenberger Mathematisches Institut der Ludwig…
- Cited by 15 (6 self) – Add To MetaCart
-
Selected Papers
- … Papers Magne Haveraaen, John Power, Monika Seisenberger REPORT NO 367 February 2008 N U I V E R S I T A…
- Add To MetaCart
-
The Warshall Algorithm and Dickson's Lemma: Two Examples of realistic program extraction
- … Berger, Helmut Schwichtenberg and Monika Seisenberger Mathematisches Institut der Ludwig…
- Add To MetaCart
Showing 1 through 4.
