Well-structured transition system: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 10:2410:24, 30 July 2024 Alain Finkel talk contribs m 6,507 bytes +231 I add the first publication about WSTS undo

curprev 13:5413:54, 8 June 2016 LilHelpa talk contribs m 6,268 bytes 0 typo: replace: an -> a, typo(s) fixed: etc → etc. using AWB undo

curprev 12:4812:48, 30 June 2015 Ɯ talk contribs 6,297 bytes +97 I think this is best represented as a diagram. Then examples (to be added) can be represented in the same shape. undo
curprev 11:5911:59, 30 June 2015 Ɯ talk contribs m 6,200 bytes +32 →Backward Algorithm: Distraction-induced nonsense corrected undo
curprev 11:4811:48, 30 June 2015 Ɯ talk contribs m 6,168 bytes +19 There are 2 relations involved undo

curprev 06:4206:42, 27 June 2015 Yobot talk contribs m 6,149 bytes −13 WP:CHECKWIKI error fixes, removed stub tag using AWB (11280) undo

curprev 13:4513:45, 26 June 2015 Ɯ talk contribs 6,162 bytes +3,673 Added stub-ly section on Well-structured systems (one word missing in the name, definition also requires computability). Can't believe there isn't a description of the backward algorithm yet! undo

curprev 11:3811:38, 24 June 2015 Ɯ talk contribs m 2,489 bytes +24 This article could do with an example ... undo