| Document Date: 2006-06-30 15:40:52
Open Document File Size: 234,72 KBShare Result on Facebook
Country Netherlands / / Currency pence / / Facility University of Munich / University of Wales Swansea Helmut Schwichtenberg / / Holiday Assumption / / IndustryTerm primitive recursive program computing / naive algorithm / metamathematical tool / / Organization University of Wales / Ulrich Berger Department of Computer Science / University of Munich / Monika Seisenberger Mathematisches Institut / / Person Monika Seisenberger Mathematisches / Ulrich Berger / Pt / Ai / Helmut Schwichtenberg / / Position Constable / / Technology naive algorithm / Warshall algorithm / Warshall algorithm The Warshall algorithm / / URL http /
SocialTag |
The Warshall algorithm and Dickson’s lemma: Two examples of realistic program extraction Ulrich Berger Department of Computer Science, University of Wales Swansea Helmut Schwichtenberg and Monika Seisenberger