User contributions
From Termination-Portal.org
Jump to navigationJump to search- 07:28, 29 November 2011 diff hist +97 People:Carsten Otto
- 07:07, 29 November 2011 diff hist +48 Termination Portal
- 18:06, 24 May 2011 diff hist +14 Termination Competition 2011
- 14:34, 11 April 2011 diff hist +614 N People:Marc Brockschmidt Created page with "<!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yoursel..." current
- 14:34, 11 April 2011 diff hist +232 Nm User talk:Mmjb Welcome! current
- 14:08, 11 April 2011 diff hist +232 Nm User talk:Cryingshadow Welcome! current
- 13:54, 11 April 2011 diff hist +11 People:Carsten Otto
- 13:53, 11 April 2011 diff hist +33 People:Thomas Ströder current
- 13:53, 11 April 2011 diff hist +20 People:Thomas Ströder
- 13:52, 11 April 2011 diff hist +126 People:Thomas Ströder
- 13:52, 11 April 2011 diff hist +498 N People:Thomas Ströder Created page with "<!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yoursel..."
- 13:49, 11 April 2011 diff hist +36 People:Manh Thang Nguyen current
- 12:28, 28 March 2011 diff hist -63 Java Bytecode (forbidden native method) Undo revision 1138 by C-Otto (talk)
- 12:27, 28 March 2011 diff hist +63 Java Bytecode
- 09:55, 19 August 2010 diff hist +29 News:Termination Competition 2010 in July
- 07:27, 26 July 2010 diff hist +231 Nm User talk:Kdoss Welcome! current
- 13:25, 24 June 2010 diff hist +231 Nm User talk:Dean Voets Welcome! current
- 11:55, 14 May 2010 diff hist +230 Nm User talk:Arubio Welcome! current
- 13:55, 26 March 2010 diff hist +1 Complexity:Old →Complexity proof techniques
- 10:01, 22 December 2009 diff hist -28 Java Bytecode
- 09:57, 22 December 2009 diff hist +1 Tools:Julia current
- 07:20, 22 December 2009 diff hist +235 Nm User talk:Fred Welcome! current
- 14:52, 21 December 2009 diff hist +29 Java Bytecode →Categories
- 14:51, 21 December 2009 diff hist +2 Java Bytecode →Participants
- 14:50, 21 December 2009 diff hist +10 Java Bytecode
- 14:48, 21 December 2009 diff hist +68 Java Bytecode
- 14:46, 21 December 2009 diff hist 0 m Category:Categories current
- 14:46, 21 December 2009 diff hist +77 N Category:Categories Created page with 'The tools work on different types of problems, which are listed on this site.'
- 14:43, 21 December 2009 diff hist 0 m Integer Term Rewriting moved ITRS to Integer Term Rewriting
- 14:43, 21 December 2009 diff hist +36 N ITRS moved ITRS to Integer Term Rewriting current
- 14:42, 21 December 2009 diff hist 0 m Higher Order Rewriting moved Higher Order to Higher Order Rewriting
- 14:42, 21 December 2009 diff hist +36 N Higher Order moved Higher Order to Higher Order Rewriting current
- 14:42, 21 December 2009 diff hist +41 N Term Rewriting Created page with '(no content yet) Category:Categories'
- 14:41, 21 December 2009 diff hist +41 N String Rewriting Created page with '(no content yet) Category:Categories' current
- 14:41, 21 December 2009 diff hist +40 Termination Competition
- 14:41, 21 December 2009 diff hist +25 Integer Term Rewriting
- 14:40, 21 December 2009 diff hist +41 N Higher Order Rewriting Created page with '(no content yet) Category:Categories'
- 14:40, 21 December 2009 diff hist +25 m Java Bytecode
- 14:40, 21 December 2009 diff hist +25 Complexity:Old
- 14:40, 21 December 2009 diff hist +25 Functional Programming current
- 14:40, 21 December 2009 diff hist +25 Certified Termination current
- 14:39, 21 December 2009 diff hist +25 Logic Programming
- 14:38, 21 December 2009 diff hist +34 MediaWiki:Sidebar
- 12:35, 13 December 2009 diff hist +117 Java Bytecode
- 16:55, 29 November 2009 diff hist +1 Java Bytecode →Considered Types: typo
- 09:33, 26 October 2009 diff hist +234 Nm User talk:MP Welcome! current
- 13:15, 23 October 2009 diff hist +2 Java Bytecode →Start Method
- 12:38, 23 October 2009 diff hist -9 Java Bytecode →Opcodes
- 12:36, 23 October 2009 diff hist 0 Java Bytecode →Considered Types
- 12:35, 23 October 2009 diff hist -1 Java Bytecode →Considered Types