Better-quasi-orderings and coinduction
type: Item
instance of: scholarly article
title: Better-quasi-orderings and coinduction
zbMATH Open document ID: 1081.06002
DOI: 10.1016/S0304-3975(03)00131-2
author: Thomas Forster
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 06A06
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 2110991
Wikidata QID: Q56429962
MaRDI profile type: Publication
cites work: A note on well quasi-orderings for powersets
cites work: Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
cites work: On Fraissé's order type conjecture
cites work: Well-quasi-orderings and sets of finite sequences
cites work: Foundations of BQO Theory
cites work: Fine analysis of the quasi-orderings on the power set
cites work: From wqo to bqo, via Ellentuck's theorem
cites work: Q3801541
cites work: Q5520569
DBLP publication ID: journals/tcs/Forster03
description: scientific article; zbMATH DE number 2110991