✦ LIBER ✦
The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction
✍ Scribed by Ulrich Berger; Helmut Schwichtenberg; Monika Seisenberger
- Book ID
- 111567922
- Publisher
- Springer Netherlands
- Year
- 2001
- Tongue
- English
- Weight
- 107 KB
- Volume
- 26
- Category
- Article
- ISSN
- 0168-7433
No coin nor oath required. For personal study only.