User contributions
From Termination-Portal.org
Jump to navigationJump to search- 19:13, 29 May 2013 diff hist +258 Nm User talk:Flowgenerator Welcome! current
- 11:21, 31 January 2013 diff hist +115 Java Bytecode current
- 09:43, 28 January 2013 diff hist -10 Java Bytecode →Considered Types
- 09:39, 28 November 2012 diff hist -14 People:Peter Schneider-Kamp current
- 08:57, 27 June 2012 diff hist +24 Termination Portal →Recent News
- 08:47, 27 June 2012 diff hist -24 Termination Portal →Recent News
- 08:45, 27 June 2012 diff hist +252 N Template:Extension DPL Template:Extension DPL current
- 20:16, 26 June 2012 diff hist -261 Termination Portal →Testing
- 20:15, 26 June 2012 diff hist +261 Termination Portal →Recent News
- 20:13, 26 June 2012 diff hist -1 Termination Portal →Recent News
- 14:52, 26 June 2012 diff hist +1 Termination Portal →Recent News
- 14:52, 26 June 2012 diff hist -613 News:Termination Competition 2012: June 26 - June 29
- 14:52, 26 June 2012 diff hist -2 Termination Portal →Recent News
- 14:51, 26 June 2012 diff hist +2 Termination Portal →Recent News
- 14:50, 26 June 2012 diff hist +612 News:Termination Competition 2012: June 26 - June 29
- 14:50, 12 June 2012 diff hist +15 Star Exec
- 14:49, 12 June 2012 diff hist +85 Star Exec
- 14:46, 12 June 2012 diff hist +1,022 Star Exec
- 07:30, 29 November 2011 diff hist -101 People:Carsten Otto current
- 07:29, 29 November 2011 diff hist +4 People:Carsten Otto
- 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' current
- 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
- 12:33, 23 October 2009 diff hist -3 Java Bytecode →Start Method
- 12:27, 23 October 2009 diff hist -23 Java Bytecode →Opcodes
- 12:23, 23 October 2009 diff hist -13 Java Bytecode →Considered Types
- 12:20, 23 October 2009 diff hist +11 Java Bytecode →Considered Types
- 12:17, 23 October 2009 diff hist -272 Java Bytecode →Considered Types
- 12:16, 23 October 2009 diff hist -176 Java Bytecode →Errors and Exceptions
- 15:21, 21 October 2009 diff hist -1 Java Bytecode →Included Files
- 15:19, 21 October 2009 diff hist +14 Java Bytecode →Native Methods
- 15:18, 21 October 2009 diff hist +3 Java Bytecode →Considered Types
- 15:17, 21 October 2009 diff hist +6 Java Bytecode →Considered Types
- 15:15, 21 October 2009 diff hist +34 Java Bytecode →Start Method
- 15:09, 21 October 2009 diff hist +94 Java Bytecode →Opcodes
- 14:57, 21 October 2009 diff hist +15 Java Bytecode →Start Method
- 14:56, 21 October 2009 diff hist +8 Java Bytecode →Start Method
- 14:56, 21 October 2009 diff hist -1 Java Bytecode →Start Method
- 14:55, 21 October 2009 diff hist +167 Java Bytecode →Start Method
- 14:52, 21 October 2009 diff hist +56 Java Bytecode →Start Method
- 14:51, 21 October 2009 diff hist +252 Java Bytecode →Start Method
- 14:42, 21 October 2009 diff hist +587 Java Bytecode →Details
- 14:42, 21 October 2009 diff hist +226 Java Bytecode
- 14:41, 21 October 2009 diff hist -2,266 Java Bytecode
- 14:40, 21 October 2009 diff hist +18 Java Bytecode →Opcodes
- 14:40, 21 October 2009 diff hist 0 Java Bytecode →Opcodes
- 14:40, 21 October 2009 diff hist +657 Java Bytecode →Details
- 14:39, 21 October 2009 diff hist +2 Java Bytecode →Considered Types
- 14:37, 21 October 2009 diff hist -13 Java Bytecode →Considered Types
- 14:36, 21 October 2009 diff hist -14 Java Bytecode →Considered Types
- 14:35, 21 October 2009 diff hist +40 Java Bytecode →Considered Types
- 14:34, 21 October 2009 diff hist +6 Java Bytecode →Considered Types
- 14:34, 21 October 2009 diff hist +976 Java Bytecode →Considered Types
- 14:30, 21 October 2009 diff hist +19 Java Bytecode →Considered Types
- 14:29, 21 October 2009 diff hist +25 Java Bytecode →Considered Types
- 14:29, 21 October 2009 diff hist +18 Java Bytecode →Considered Types
- 14:28, 21 October 2009 diff hist +24 Java Bytecode →Considered Types
- 14:28, 21 October 2009 diff hist +392 Java Bytecode →Considered Types
- 14:27, 21 October 2009 diff hist +18 Java Bytecode →Considered Types
- 14:27, 21 October 2009 diff hist +2,598 Java Bytecode classes
- 14:22, 21 October 2009 diff hist +36 Java Bytecode →Errors and Exceptions
- 14:21, 21 October 2009 diff hist +395 Java Bytecode details
- 14:20, 21 October 2009 diff hist +30 Java Bytecode
- 14:20, 21 October 2009 diff hist -890 Java Bytecode outdated
- 14:19, 21 October 2009 diff hist +4 Java Bytecode →Start Method
- 14:18, 21 October 2009 diff hist +5 Java Bytecode →Start Method
- 14:18, 21 October 2009 diff hist +7 Java Bytecode →Java Source
- 14:18, 21 October 2009 diff hist -597 Java Bytecode
- 14:16, 21 October 2009 diff hist +204 Java Bytecode source
- 14:13, 21 October 2009 diff hist -178 Java Bytecode update
- 13:48, 7 October 2009 diff hist -5 News:Certification Problem Format typo current
- 15:42, 21 September 2009 diff hist +1 Bibtex:Ohlebusch02 current
- 08:11, 29 July 2009 diff hist +5 Java Bytecode →Initialization / Static Fields
- 08:05, 29 July 2009 diff hist +51 Java Bytecode
- 17:27, 28 July 2009 diff hist -1 Java Bytecode →(Possible) Participants
- 14:10, 24 June 2009 diff hist -2 Java Bytecode
- 14:08, 24 June 2009 diff hist -1 m Java Bytecode
- 14:06, 24 June 2009 diff hist +1,075 Java Bytecode
- 13:58, 24 June 2009 diff hist +167 m Java Bytecode intro
- 13:56, 24 June 2009 diff hist +4,443 N Java Bytecode First draft
- 12:53, 24 June 2009 diff hist +45 N Help:Editing New page: See http://en.wikipedia.org/wiki/Help:Editing current
- 12:15, 23 June 2009 diff hist 0 m Template:Person Protected "Template:Person" [edit=sysop:move=sysop] current
- 04:52, 15 June 2009 diff hist -17 Template:Person
- 20:16, 14 June 2009 diff hist +231 Nm User talk:Nachum Welcome! current
- 08:05, 19 May 2009 diff hist -2 People:Dean Voets current
- 08:04, 19 May 2009 diff hist +31 N User:Dean Redirecting to People:Dean Voets current
- 08:03, 19 May 2009 diff hist +42 N User:Mraffels Redirecting to People:Matthias Raffelsieper current
- 12:51, 15 May 2009 diff hist +230 Nm User talk:Dean Welcome! current
- 13:45, 14 May 2009 diff hist +57 Tools:Polytool current
- 13:44, 14 May 2009 diff hist -22 Tools:Polytool
- 17:38, 13 May 2009 diff hist +58 Tools:Polytool
- 17:33, 13 May 2009 diff hist +89 Template:AddTool current
- 17:31, 13 May 2009 diff hist +41 Tools:AProVE
- 17:30, 13 May 2009 diff hist +14 Tools:TTT2
- 17:30, 13 May 2009 diff hist +14 Tools:TPA current
- 17:30, 13 May 2009 diff hist +14 Tools:TCT
- 17:30, 13 May 2009 diff hist +14 Tools:TALP current
- 17:30, 13 May 2009 diff hist +14 Tools:Rainbow
- 17:30, 13 May 2009 diff hist +14 Tools:Polytool
- 17:30, 13 May 2009 diff hist +14 Tools:Nonloop
- 17:30, 13 May 2009 diff hist +14 Tools:MU-TERM
- 17:29, 13 May 2009 diff hist +22 Tools:Matchbox
- 17:29, 13 May 2009 diff hist +14 Tools:Jambox current
- 17:29, 13 May 2009 diff hist +14 Tools:CoLoR
- 17:29, 13 May 2009 diff hist +14 Tools:Cime
- 17:29, 13 May 2009 diff hist +14 Tools:CeTA
- 17:29, 13 May 2009 diff hist +14 Tools:CaT current
- 17:28, 13 May 2009 diff hist +14 Tools:A3PAT
- 17:25, 13 May 2009 diff hist -2 Tools:AProVE
- 17:25, 13 May 2009 diff hist +34 Tools:AProVE
- 17:25, 13 May 2009 diff hist +578 N Bibtex:Giesl04 New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @INPROCEEDINGS{Giesl04automatedtermination, author = {Jürgen Giesl and René Thiema... current
- 17:21, 13 May 2009 diff hist +211 Template:AddTool
- 17:18, 13 May 2009 diff hist +1 Template:Tool current
- 17:18, 13 May 2009 diff hist +32 Template:Tool
- 16:52, 13 May 2009 diff hist +75 Tools:Polytool
- 16:47, 13 May 2009 diff hist 0 m Template:Tool Protected "Template:Tool" [edit=sysop:move=sysop]
- 16:47, 13 May 2009 diff hist -159 Template:Tool Revert
- 11:49, 10 April 2009 diff hist -41 Termination Portal
- 11:48, 10 April 2009 diff hist -6 Termination-Portal.org:About →Impressum
- 16:02, 27 March 2009 diff hist +41 N User:Aserebrenik Redirecting to People:Alexander Serebrenik current
- 13:47, 27 March 2009 diff hist +232 Nm User talk:Aserebrenik Welcome! current
- 19:40, 23 February 2009 diff hist +235 Nm User talk:Noschinski Welcome! current
- 22:40, 4 January 2009 diff hist +81 m People:Carsten Otto Photo
- 16:45, 25 November 2008 diff hist +235 Nm User talk:Gnaedig Welcome! current
- 13:36, 5 November 2008 diff hist +38 Tools:AProVE
- 13:08, 3 November 2008 diff hist +234 Nm User talk:Mraffels Welcome! current
- 09:08, 3 November 2008 diff hist +234 Nm User talk:Hzantema Welcome! current
- 06:31, 2 November 2008 diff hist +234 Nm User talk:Joerg Welcome! current
- 13:25, 28 October 2008 diff hist +55 People:Nao Hirokawa
- 15:58, 24 October 2008 diff hist +29 Termination Competition
- 16:19, 20 October 2008 diff hist +234 Nm User talk:Zini Welcome! current
- 16:08, 2 October 2008 diff hist +38 People:Carsten Otto
- 15:59, 15 July 2008 diff hist +95 TCM-July-2008
- 15:58, 15 July 2008 diff hist +238 TCM-July-2008
- 15:54, 15 July 2008 diff hist +207 TCM-July-2008 To discuss
- 20:51, 19 May 2008 diff hist +35 N User:Slucas Redirecting to People:Salvador Lucas current
- 19:46, 6 May 2008 diff hist +36 N User:Pierre.Lescanne Redirecting to People:Pierre Lescanne current
- 20:57, 2 May 2008 diff hist -4 Termination-Portal.org:General disclaimer Redirecting to Termination-Portal.org:About current
- 20:56, 2 May 2008 diff hist +37 N User:Rgutierrez Redirecting to People:Raúl Gutiérrez current
- 20:55, 2 May 2008 diff hist +40 N User:Balarcon Redirecting to People:Beatriz Alarcón current
- 20:55, 2 May 2008 diff hist +46 N User:Rnavarro Redirecting to People:Rafael Navarro-Marset current
- 08:20, 20 April 2008 diff hist -9 WScT Internal link!
- 05:53, 11 April 2008 diff hist +36 N User:Ami Redirecting to People:Aart Middeldorp current
- 14:19, 10 April 2008 diff hist +35 N User:Thiemann Redirecting to People:René Thiemann current
- 12:34, 10 April 2008 diff hist +35 N User:Akoprowski Redirecting to People:Adam Koprowski current
- 08:20, 10 April 2008 diff hist +34 N User:Giesl Redirecting to People:Jürgen Giesl current
- 10:57, 9 April 2008 diff hist +32 N User:Mkorp Redirecting to People:Martin Korp current
- 11:28, 8 April 2008 diff hist +231 Contribute
- 15:19, 2 April 2008 diff hist +33 N User:Fab Redirecting to People:Fabian Emmes current
- 13:37, 1 April 2008 diff hist +40 N User:Griff Redirecting to People:Christian Sternagel current
- 13:36, 1 April 2008 diff hist +33 N User:Hzankl Redirecting to People:Harald Zankl current
- 18:44, 31 March 2008 diff hist 0 Bibtex:SGST06 current
- 18:44, 31 March 2008 diff hist 0 Template:AddReference current
- 18:44, 31 March 2008 diff hist 0 Bibtex:FGMSTZ07 current
- 18:43, 31 March 2008 diff hist 0 Bibtex:Ohlebusch01 current
- 18:38, 31 March 2008 diff hist 0 Bibtex:Ohlebusch01
- 18:38, 31 March 2008 diff hist 0 Bibtex:Ohlebusch01
- 17:02, 31 March 2008 diff hist +74 N User:Admin New page: Please contact People:Peter Schneider-Kamp or People:Carsten Otto. current
- 17:01, 31 March 2008 diff hist +37 N User:Blanqui Redirecting to People:Frederic Blanqui current
- 17:00, 31 March 2008 diff hist +38 N User:J.waldmann Redirecting to People:Johannes Waldmann current
- 16:59, 31 March 2008 diff hist +34 N User:Spf Redirecting to People:Stephan Falke current
- 12:44, 31 March 2008 diff hist +32 What domain name?
- 09:06, 31 March 2008 diff hist +33 Nm User:Fuhs Redirecting to People:Carsten Fuhs current
- 09:06, 31 March 2008 diff hist +38 N User:Swiste Redirecting to People:Stephan Swiderski current
- 23:13, 30 March 2008 diff hist -4 Termination Portal
- 14:26, 30 March 2008 diff hist +37 N User:Andreas.gebhardt Redirecting to People:Andreas Gebhardt current
- 12:30, 30 March 2008 diff hist -17 Template:News current
- 12:29, 30 March 2008 diff hist -5 Template:News
- 12:29, 30 March 2008 diff hist +1 Template:News
- 12:29, 30 March 2008 diff hist +5 Template:News
- 12:29, 30 March 2008 diff hist 0 Template:News
- 12:28, 30 March 2008 diff hist 0 Template:News
- 12:28, 30 March 2008 diff hist 0 Template:News
- 12:26, 30 March 2008 diff hist +18 Template:News
- 12:26, 30 March 2008 diff hist -18 News:Termination Portal Online
- 12:25, 30 March 2008 diff hist +1 News:Termination Portal Online
- 12:25, 30 March 2008 diff hist +17 News:Termination Portal Online
- 12:17, 30 March 2008 diff hist +41 N User:Nowonder Redirecting to People:Peter Schneider-Kamp current
- 11:45, 30 March 2008 diff hist +69 Termination Portal
- 11:38, 30 March 2008 diff hist +9 Template:AddReference
- 11:37, 30 March 2008 diff hist -1 Bibtex:Ohlebusch01
- 11:37, 30 March 2008 diff hist -3 Bibtex:SGST06
- 11:36, 30 March 2008 diff hist +13 Bibtex:SGST06
- 11:36, 30 March 2008 diff hist 0 Termination Portal
- 11:36, 30 March 2008 diff hist +13 Bibtex:Ohlebusch01
- 11:32, 30 March 2008 diff hist +94 Category:News current
- 11:30, 30 March 2008 diff hist 0 Termination Competition
- 21:50, 26 March 2008 diff hist +34 Termination Portal
- 21:48, 26 March 2008 diff hist +1 Termination Portal
- 21:48, 26 March 2008 diff hist +2 Termination Portal
- 21:48, 26 March 2008 diff hist +2 Termination Portal
- 21:47, 26 March 2008 diff hist -12 Termination Portal
- 21:46, 26 March 2008 diff hist +10 Termination Portal
- 21:44, 26 March 2008 diff hist -44 Termination Portal
- 21:43, 26 March 2008 diff hist +2 Termination Portal
- 21:43, 26 March 2008 diff hist -8 Termination Portal
- 21:42, 26 March 2008 diff hist -8 Termination Portal
- 21:42, 26 March 2008 diff hist +10 Termination Portal
- 21:42, 26 March 2008 diff hist -2 Termination Portal
- 21:42, 26 March 2008 diff hist +14 Termination Portal
- 21:40, 26 March 2008 diff hist +3 Termination Portal
- 21:40, 26 March 2008 diff hist -7 Termination Portal
- 21:40, 26 March 2008 diff hist +56 Termination Portal