Jump to content

19th International Workshop on Termination: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

17 August 2023

16 August 2023

15 August 2023

14 August 2023

20 June 2023

16 June 2023

10 June 2023

30 May 2023

17 May 2023

19 April 2023

14 April 2023

12 April 2023

11 April 2023

10 April 2023

8 April 2023

25 January 2023

16 January 2023