Complexity bounds for some finite forms of Kruskal's theorem
type: Item
instance of: scholarly article
title: Complexity bounds for some finite forms of Kruskal's theorem
zbMATH Open document ID: 0827.68055
author: Andreas Weiermann
published in: Journal of Symbolic Computation
publication date: 1995-06-08T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68Q15
zbMATH DE Number: 762008
zbMATH Keywords: well-partial orders
zbMATH Keywords: computational complexity of algorithms
zbMATH Keywords: Kruskal's theorem
MaRDI profile type: Publication
full work available at URL: jsco.1994.1059
OpenAlex ID: W1978060282
DOI: 10.1006/JSCO.1994.1059
description: scientific article; zbMATH DE number 762008