Jump to content

Talk:Well-structured transition system

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by Cewbot (talk | contribs) at 00:27, 11 February 2024 (Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Stub" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Computing}}.). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

In addition to saying well-quasi-ordering, can't this be explained as a relation where every element cannot be decreasing, or something along those lines? - Uplink3r (talk) 23:47, 15 June 2015 (UTC)[reply]

AFAICS the meaning of the term is already stated? In addition to the (admittedly extremely brief) explanation, there is a handful of useful alternative characterisations of WQO. But I would rather add them to the Well-quasi-ordering article. [ɯ:] (talk) 12:58, 26 June 2015 (UTC)[reply]