No Cover Image

Journal article 384 views

The Warshall Algorithm and Dickson's Lemma: Two examples of realistic program extraction / Ulrich Berger; Schwichtenberg, Helmut

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

Swansea University Author: Seisenberger, Monika

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
URI: https://cronfa.swan.ac.uk/Record/cronfa1730
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Issue: 2
Start Page: 205
End Page: 221