Jump to content

User contributions for Aschnabl

Results for Aschnabl talk block log uploads logs

A user with 25 edits. Account created on 18 July 2008.

11:2411:24, 16 April 2010 diff hist −195 Tools:TCT Deleted information that TCT is based on TTT2 because of the new Haskell implementation of TCT current

12:3312:33, 26 March 2010 diff hist +424 Complexity Techniques Lists broken by tools
12:2512:25, 26 March 2010 diff hist +466 N Complexity Techniques Added techniques (I know of) for derivational complexity
12:1712:17, 26 March 2010 diff hist +16 Complexity:Old Outsourced listing of techniques to a separate page

08:1208:12, 3 November 2008 diff hist +42 Tools:TCT Added homepage

15:3515:35, 20 October 2008 diff hist +337 Complexity:Old →Problem selection: added two innermost examples
15:2115:21, 20 October 2008 diff hist +129 m Complexity:Old →Problem selection: added "closed under signature extensions" example
15:1815:18, 20 October 2008 diff hist +55 m Tools:TCT cosmetic changes
15:1615:16, 20 October 2008 diff hist +706 N Tools:TCT added page
14:5714:57, 20 October 2008 diff hist 0 m Complexity:Old →Problem selection: order of examples changed
14:5214:52, 20 October 2008 diff hist +843 Complexity:Old →Problem selection: examples completed for now
14:3814:38, 20 October 2008 diff hist +429 m Complexity:Old →Problem selection: more dc problems
14:1714:17, 20 October 2008 diff hist +103 m Complexity:Old →Problem selection: another test case added
14:1414:14, 20 October 2008 diff hist +505 m Complexity:Old added some test cases

08:1108:11, 18 July 2008 diff hist +652 N People:Andreas Schnabl New page: <!-- 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 yourself after th... current

Retrieved from "http://termination-portal.org/wiki/Special:Contributions/Aschnabl"