No Cover Image

Journal article 785 views

The Warshall Algorithm and Dickson's Lemma: Two examples of realistic program extraction

Ulrich Berger, Schwichtenberg, Helmut, Seisenberger, Monika, Monika Seisenberger Orcid Logo

Journal of Automated Reasoning, Volume: 26, Issue: 2, Pages: 205 - 221

Swansea University Author: Monika Seisenberger Orcid Logo

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1023/A:1026748613865

Published in: Journal of Automated Reasoning
Published: Springer-Verlag 2001
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