Move log
From Termination-Portal.org
Jump to navigationJump to searchBelow 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
