No Cover Image

Journal article 497 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

Published in: Journal of Automated Reasoning
Published: Springer-Verlag 2001
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Issue: 2
Start Page: 205
End Page: 221