Journal article 1031 views
The Warshall Algorithm and Dickson's Lemma: Two examples of realistic program extraction
Ulrich Berger,
Schwichtenberg, Helmut,
Seisenberger, Monika,
Monika Seisenberger 
Journal of Automated Reasoning, Volume: 26, Issue: 2, Pages: 205 - 221
Swansea University Author:
Monika Seisenberger
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1023/A:1026748613865
Abstract
The Warshall Algorithm and Dickson's Lemma: Two examples of realistic program extraction
| Published in: | Journal of Automated Reasoning |
|---|---|
| Published: |
Springer-Verlag
2001
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa1730 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| College: |
Faculty of Science and Engineering |
|---|---|
| Issue: |
2 |
| Start Page: |
205 |
| End Page: |
221 |