User contributions
From Termination-Portal.org
Jump to navigationJump to search- 18:02, 29 March 2008 diff hist -9 People:Jürgen Giesl
- 17:35, 29 March 2008 diff hist -777 Termination Portal →News
- 17:34, 29 March 2008 diff hist +80 Template:AddReference
- 17:34, 29 March 2008 diff hist +79 Bibtex:SGST06
- 17:32, 29 March 2008 diff hist +26 Termination Portal →Recent News
- 17:14, 29 March 2008 diff hist +122 Termination Portal →News
- 17:11, 29 March 2008 diff hist +518 N Bibtex:SGST06 New page: <bibtex> <!-- Please add the BibTeX data below this comment. --> @inproceedings{LOPSTR06, AUTHOR = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann}, TITLE =...
- 17:10, 29 March 2008 diff hist -166 Template:AddReference
- 17:04, 29 March 2008 diff hist +9 Tools:AProVE
- 17:04, 29 March 2008 diff hist +9 Template:AddTool
- 16:57, 29 March 2008 diff hist +19 Termination Portal
- 16:57, 29 March 2008 diff hist +34 Termination Portal
- 16:55, 29 March 2008 diff hist +5 Template:AddTool
- 16:55, 29 March 2008 diff hist +401 N Template:AddReference New page: <includeonly> <!-- Please fill in the data so that the reference can be added to some default categories and a simple BibTeX page can be created. You may extend that B...
- 16:53, 29 March 2008 diff hist 0 Template:AddTool
- 16:52, 29 March 2008 diff hist +422 Termination Portal
- 16:52, 29 March 2008 diff hist +325 N Category:Bibtex New page: Below is a list of references for publications on termination analysis and related areas. To make this list more useful, please consider adding useful references: <createarticle> type=cr... current
- 16:49, 29 March 2008 diff hist -133 Termination Portal →News
- 16:30, 29 March 2008 diff hist -28 Termination Portal →Welcome to the World of Termination
- 16:30, 29 March 2008 diff hist -1 Termination Portal →Welcome to the World of Termination