User contributions for JCKassing
9 June 2026
- 12:2712:27, 9 June 2026 diff hist −1 PTRS Innermost Small fixes current
- 12:2512:25, 9 June 2026 diff hist 0 PTRS Standard Small fixes current
- 12:2412:24, 9 June 2026 diff hist −80 m SRS Relative Use the transitive-reflexive closure! current
- 12:2312:23, 9 June 2026 diff hist +88 SRS Relative Small fixes
- 12:2112:21, 9 June 2026 diff hist +87 SRS Standard Small fixes current
- 12:1812:18, 9 June 2026 diff hist −12 TRS Conditional Small fixes current
- 12:1712:17, 9 June 2026 diff hist 0 m TRS Contextsensitive Small fixes current
- 12:1612:16, 9 June 2026 diff hist −134 m TRS Derivational Complexity Small fixes current
- 12:1512:15, 9 June 2026 diff hist −10 TRS Equational Small fixes current
- 12:1412:14, 9 June 2026 diff hist +10 TRS Innermost Small fixes current
- 12:1312:13, 9 June 2026 diff hist −130 TRS Innermost Derivational Complexity Small fixes current
- 12:1112:11, 9 June 2026 diff hist −143 TRS Innermost Runtime Complexity Small fixes current
- 12:0812:08, 9 June 2026 diff hist +2 TRS Parallel Innermost Derivational Complexity Small fixes current
- 12:0612:06, 9 June 2026 diff hist +152 m TRS Relative Small fixes current
- 11:5911:59, 9 June 2026 diff hist −135 m TRS Runtime Complexity Small fixes current
- 11:5411:54, 9 June 2026 diff hist 0 m TRS Standard Fixed wrong indice current
8 June 2026
- 11:1311:13, 8 June 2026 diff hist +378 Termination Competition 2026 Update on the rules for the 2026 TermComp
20 May 2026
- 18:1718:17, 20 May 2026 diff hist +33 Termination Competition Update Upcoming Competition
19 March 2026
- 10:4410:44, 19 March 2026 diff hist −232 Suggestions Updated suggestions current
- 10:3810:38, 19 March 2026 diff hist +49 Termination Competition Added TRS Complexity pages
- 10:3610:36, 19 March 2026 diff hist +2,709 N TRS Parallel Innermost Derivational Complexity Added TRS Parallel Innermost Derivational Complexity
- 10:3410:34, 19 March 2026 diff hist +2,810 N TRS Innermost Runtime Complexity Added TRS Innermost Runtime Complexity
- 10:3310:33, 19 March 2026 diff hist +2,508 N TRS Runtime Complexity Added TRS Runtime Complexity
- 10:2610:26, 19 March 2026 diff hist +2,241 N TRS Innermost Derivational Complexity Added TRS Innermost Derivational Complexity
- 10:2310:23, 19 March 2026 diff hist +1,941 N TRS Derivational Complexity Added TRS Derivational Complexity
18 March 2026
- 11:4611:46, 18 March 2026 diff hist −41 String Rewriting Blanked the page current Tag: Blanking
- 11:4311:43, 18 March 2026 diff hist −26 Transition Systems No Category anymore current
- 11:4111:41, 18 March 2026 diff hist −75 Termination Competition Added all termination category subpages
- 11:4011:40, 18 March 2026 diff hist +1,348 N Integer Transition Systems Added ITS Page current
- 11:3711:37, 18 March 2026 diff hist +1,250 N TRS Conditional Added TRS Conditional Page
- 11:3711:37, 18 March 2026 diff hist +1,320 N TRS Conditional - Operational Termination Added TRS Conditional - Operation Page current
- 11:2911:29, 18 March 2026 diff hist +1,703 N TRS Equational Added TRS Equational Page
- 11:2511:25, 18 March 2026 diff hist +1,769 N TRS Contextsensitive Added TRS Contextsensitive Page
11 March 2026
- 10:0810:08, 11 March 2026 diff hist +227 m PTRS Standard Added missing reference
- 10:0710:07, 11 March 2026 diff hist 0 m PTRS Innermost Fixed small typo in reference
- 10:0510:05, 11 March 2026 diff hist −477 Probabilistic Rewriting Removed Categories from this page current
- 10:0310:03, 11 March 2026 diff hist −149 Termination Competition Added links to some defined categories
- 10:0310:03, 11 March 2026 diff hist +2,839 N PTRS Innermost Added PTRS Innermost category
- 09:5709:57, 11 March 2026 diff hist +2,813 N PTRS Standard Added PTRS Standard category
- 09:1109:11, 11 March 2026 diff hist +377 TRS Outermost Added a motivation and link to the ari format (TRS Outermost) current
- 09:0809:08, 11 March 2026 diff hist +303 TRS Innermost Added a motivation and link to the ari format (TRS Innermost)
- 09:0409:04, 11 March 2026 diff hist +372 TRS Standard Added a motivation and link to the ari format
10 March 2026
- 16:2716:27, 10 March 2026 diff hist +38 SRS Standard Mentioned strings in the def of SRSs
- 16:2716:27, 10 March 2026 diff hist +2,043 N SRS Relative Added SRS Relative Category Page
- 16:2416:24, 10 March 2026 diff hist +1,259 N SRS Standard Added SRS Standard Category Page
9 March 2026
- 17:1217:12, 9 March 2026 diff hist +11 TRS Relative Fixed some typos
- 17:1117:11, 9 March 2026 diff hist +1,566 N TRS Outermost Added TRS Outermost Category Page
- 17:0917:09, 9 March 2026 diff hist +1,537 N TRS Innermost Added TRS Innermost Category Page
- 09:4809:48, 9 March 2026 diff hist +2,008 N TRS Relative Added TRS Relative Category Page
- 09:3109:31, 9 March 2026 diff hist −15 Termination Competition Added Link to new TRS Standard category page