User contributions
From Termination-Portal.org
Jump to navigationJump to search- 13:31, 2 June 2008 diff hist +2,029 N WScT08-Minutes-Competition New page: * Unique IDs for problems in database ** Idea: short IDs that can be used in papers ** Different suggested formats (nrs are relative, e.g., 2008-1 and 2009-1 possible): *** nameOfAuthor-y...
- 13:30, 2 June 2008 diff hist -1,908 WScT08 →Results (Certification)
- 13:30, 2 June 2008 diff hist +1,876 N WScT08-Minutes-Certification New page: * Notation: ** TCG is Termination Certificate Grammar ** Rainbow is the translator from TCG, with several backends (one for Color, one for Isabelle) ** Another format and another translat...
- 13:29, 2 June 2008 diff hist +161 WScT08 →Workshop on Certified Termination WScT08
- 18:54, 31 May 2008 diff hist +376 WST09 →Certified Termination
- 08:10, 19 May 2008 diff hist +417 WScT08 →Results (Certification)
- 07:56, 19 May 2008 diff hist +4 WScT08 →Results (Certification)
- 07:55, 19 May 2008 diff hist +499 WScT08 →Results (Certification)
- 07:46, 19 May 2008 diff hist -8 WScT08 →Results (Certification)
- 07:45, 19 May 2008 diff hist -9 WScT08 →Results (Certification)
- 07:45, 19 May 2008 diff hist +876 WScT08 →Results
- 07:25, 19 May 2008 diff hist +18 WScT08 →Material
- 13:56, 18 May 2008 diff hist +149 WScT08 →Date/time
- 09:18, 18 May 2008 diff hist +19 WScT08 →Registration
- 20:36, 14 May 2008 diff hist +46 WScT08 →Location
- 20:33, 14 May 2008 diff hist +103 WScT08 →Date/time
- 10:48, 24 April 2008 diff hist +31 WScT08 →Date/time
- 22:13, 23 April 2008 diff hist +367 WScT08 →Registration/Program
- 22:00, 23 April 2008 diff hist +488 WScT08 details on local organization
- 14:55, 15 April 2008 diff hist +603 WScT