Talk:Well-structured transition system: Difference between revisions

Content deleted Content added
Uplink3r (talk | contribs)
No edit summary
Uplink3r (talk | contribs)
No edit summary
Line 1:
{{WikiProject Computing|class=stub|importance=low}}
 
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? - [[User:Uplink3r|Uplink3r]] ([[User talk:Uplink3r|talk]]) 23:47, 15 June 2015 (UTC)