The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction
type: Item
instance of: scholarly article
title: The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction
zbMATH Open document ID: 0958.03009
DOI: 10.1023/A:1026748613865
author: Ulrich Berger
author: Helmut Schwichtenberg
author: Monika Seisenberger
published in: Journal of Automated Reasoning
publication date: 2001-02-18T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1565457
zbMATH Keywords: A-translation
zbMATH Keywords: constructive proofs
zbMATH Keywords: Dickson's lemma
zbMATH Keywords: realizability
zbMATH Keywords: program extraction
zbMATH Keywords: provably correct programs
zbMATH Keywords: Warshall algorithm
describes a project that uses: Minlog
MaRDI profile type: Publication
full work available at URL: a:1026748613865
OpenAlex ID: W1772256284
description: scientific article; zbMATH DE number 1565457