A note on well quasi-orderings for powersets
type: Item
instance of: scholarly article
title: A note on well quasi-orderings for powersets
zbMATH Open document ID: 0998.06002
DOI: 10.1016/S0020-0190(99)00149-0
author: Petr Jančar
published in: Information Processing Letters
publication date: 2002-07-25T00:00:00Z
Mathematics Subject Classification ID: 06A07
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1771734
MaRDI profile type: Publication
cites work: Ensuring completeness of symbolic verification methods for infinite-state systems
cites work: Foundations of BQO Theory
cites work: Q3691785
full work available at URL: s0020-0190(99)00149-0
OpenAlex ID: W1989736956
Wikidata QID: Q127846668
description: scientific article; zbMATH DE number 1771734