|
13406
|
1 |
@Article{Berger-JAR-2001,
|
|
|
2 |
author = {Ulrich Berger and Helmut Schwichtenberg and Monika Seisenberger},
|
|
|
3 |
title = {The {Warshall} Algorithm and {Dickson's} Lemma: Two
|
|
|
4 |
Examples of Realistic Program Extraction},
|
|
|
5 |
journal = {Journal of Automated Reasoning},
|
|
|
6 |
publisher = {Kluwer Academic Publishers},
|
|
|
7 |
year = 2001,
|
|
|
8 |
volume = 26,
|
|
|
9 |
pages = {205--221}
|
|
|
10 |
}
|
|
|
11 |
|
|
|
12 |
@TechReport{Coquand93,
|
|
|
13 |
author = {Thierry Coquand and Daniel Fridlender},
|
|
|
14 |
title = {A proof of {Higman's} lemma by structural induction},
|
|
|
15 |
institution = {Chalmers University},
|
|
|
16 |
year = 1993,
|
|
|
17 |
month = {November}
|
|
|
18 |
}
|