New pages
From Termination-Portal.org
Jump to navigationJump to search- 10:36, 19 March 2026 TRS Parallel Innermost Derivational Complexity (hist) [2,709 bytes] JCKassing (talk | contribs) (Added TRS Parallel Innermost Derivational Complexity)
- 10:34, 19 March 2026 TRS Innermost Runtime Complexity (hist) [2,810 bytes] JCKassing (talk | contribs) (Added TRS Innermost Runtime Complexity)
- 10:33, 19 March 2026 TRS Runtime Complexity (hist) [2,508 bytes] JCKassing (talk | contribs) (Added TRS Runtime Complexity)
- 10:26, 19 March 2026 TRS Innermost Derivational Complexity (hist) [2,241 bytes] JCKassing (talk | contribs) (Added TRS Innermost Derivational Complexity)
- 10:23, 19 March 2026 TRS Derivational Complexity (hist) [1,941 bytes] JCKassing (talk | contribs) (Added TRS Derivational Complexity)
- 11:40, 18 March 2026 Integer Transition Systems (hist) [1,348 bytes] JCKassing (talk | contribs) (Added ITS Page)
- 11:37, 18 March 2026 TRS Conditional (hist) [1,250 bytes] JCKassing (talk | contribs) (Added TRS Conditional Page)
- 11:37, 18 March 2026 TRS Conditional - Operational Termination (hist) [1,320 bytes] JCKassing (talk | contribs) (Added TRS Conditional - Operation Page)
- 11:29, 18 March 2026 TRS Equational (hist) [1,703 bytes] JCKassing (talk | contribs) (Added TRS Equational Page)
- 11:25, 18 March 2026 TRS Contextsensitive (hist) [1,769 bytes] JCKassing (talk | contribs) (Added TRS Contextsensitive Page)
- 10:03, 11 March 2026 PTRS Innermost (hist) [2,839 bytes] JCKassing (talk | contribs) (Added PTRS Innermost category)
- 09:57, 11 March 2026 PTRS Standard (hist) [3,040 bytes] JCKassing (talk | contribs) (Added PTRS Standard category)
- 16:27, 10 March 2026 SRS Relative (hist) [2,043 bytes] JCKassing (talk | contribs) (Added SRS Relative Category Page)
- 16:24, 10 March 2026 SRS Standard (hist) [1,297 bytes] JCKassing (talk | contribs) (Added SRS Standard Category Page)
- 17:11, 9 March 2026 TRS Outermost (hist) [1,943 bytes] JCKassing (talk | contribs) (Added TRS Outermost Category Page)
- 17:09, 9 March 2026 TRS Innermost (hist) [1,840 bytes] JCKassing (talk | contribs) (Added TRS Innermost Category Page)
- 09:48, 9 March 2026 TRS Relative (hist) [2,019 bytes] JCKassing (talk | contribs) (Added TRS Relative Category Page)
- 09:28, 9 March 2026 TRS Standard (hist) [1,629 bytes] JCKassing (talk | contribs) (Added TRS Standard Category Page) originally created as "Category TRS Standard"
- 12:36, 8 March 2026 Termination Competition History (hist) [4,590 bytes] JCKassing (talk | contribs) (Added an additional page for the history of the termination competition)
- 08:22, 11 February 2026 Termination Competition 2026 (hist) [5,815 bytes] Ffrohn (talk | contribs) (Created page with "The Termination and Complexity Competition (TermComp) 2026 will be affiliated with [https://termination-portal.org/wiki/21st_International_Workshop_on_Termination WST 2026], w...")
- 14:57, 15 January 2026 21st International Workshop on Termination (hist) [11,121 bytes] Ffrohn (talk | contribs) (Created page with "July 25, 2026, Lisbon, Portugal. As part of [https://www.floc26.org FLoC 2026] and co-located with [https://www.floc26.org/ijcar IJCAR 2026]. ==Background== The Workshop...")
