Move log

From Termination-Portal.org

Below is a list of all page moves.

• 09:29, 9 March 2026 JCKassing talk contribs moved page Category TRS Standard to TRS Standard (removed Category)
• 08:14, 13 May 2024 JCKassing talk contribs moved page Prob Rewriting to Probabilistic Rewriting (Change of title)
• 12:48, 7 July 2016 Thiemann talk contribs moved page Termination Competition 2016 to Termination and Complexity Competition 2016
• 11:58, 2 May 2016 Thiemann talk contribs moved page News:Workshop on Termination 2016: September 5-6 at Computational Logic in the Alps to News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps (corrected date of WST 2016)
• 08:41, 29 July 2014 J.waldmann talk contribs moved page Termination Competition 2014 Questionannaire to Termination Competition 2014 Questionnaire
• 10:33, 12 June 2014 J.waldmann talk contribs moved page Termination Competition 2014 Participants to Termination Competition 2014 Registration
• 08:34, 25 May 2010 Georg.moser talk contribs moved page Complexity to Complexity:Old
• 12:46, 9 April 2010 Griff talk contribs moved page Tools:Tool Cime to Tools:Cime (redundant naming)
• 14:43, 21 December 2009 C-Otto talk contribs moved page ITRS to Integer Term Rewriting
• 14:42, 21 December 2009 C-Otto talk contribs moved page Higher Order to Higher Order Rewriting
• 11:36, 19 May 2009 Rgutierrez talk contribs moved page Tools:MuTerm to Tools:MU-TERM
• 11:18, 20 October 2008 J.waldmann talk contribs moved page Wrong title complexity to News:Complexity
• 11:17, 20 October 2008 J.waldmann talk contribs moved page News:News Caption to Wrong title complexity
• 09:51, 19 May 2008 Rgutierrez talk contribs moved page Tools:?-Term to Tools:MuTerm over redirect
• 09:51, 19 May 2008 Rgutierrez talk contribs moved page Tools:MuTerm to Tools:Μ-Term
• 14:18, 17 May 2008 Griff talk contribs moved page Handling SCCs to Handling DG and SCCs
• 11:49, 24 April 2008 Rgutierrez talk contribs moved page People:Firstname Lastname to People:Raúl Gutiérrez (Wrong name)
• 12:07, 9 April 2008 Admin talk contribs moved page Termination-Portal.org:Impressum to Termination-Portal.org:About over redirect
• 12:06, 9 April 2008 Admin talk contribs moved page Termination-Portal.org:General disclaimer to Termination-Portal.org:Impressum
• 11:51, 31 March 2008 J.waldmann talk contribs moved page News:What domain name? to What domain name?
• 13:45, 30 March 2008 Admin talk contribs moved page Tools:Tool Name to Tools:Rainbow
• 13:42, 30 March 2008 Admin talk contribs moved page People:Firstname Lastname to People:Frederic Blanqui
• 13:38, 29 March 2008 Admin talk contribs moved page Main Page to Termination Portal
• 13:36, 29 March 2008 Admin talk contribs moved page Competition to Termination Competition
• 20:42, 26 March 2008 Admin talk contribs moved page Testnews to Testnews