Talk:Well-structured transition system: Difference between revisions

Content deleted Content added
create using AWB
 
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? - [[User:Uplink3r|Uplink3r]] ([[User talk:Uplink3r|talk]]) 23:47, 15 June 2015 (UTC)