Difference between revisions of "MediaWiki:Sidebar"
From Termination-Portal.org
Jump to navigationJump to search (New page: * navigation ** mainpage|mainpage ** [http://mediawiki.org MediaWiki] ** http://www.lri.fr/~marche/termination-competition/|Termination Competition ** portal-url|portal ** currentevents-ur...) |
|||
(17 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
* navigation | * navigation | ||
− | ** | + | ** Home|Home |
− | ** | + | ** Category:News|News |
− | ** | + | ** Category:People|People |
− | ** | + | ** Category:Tools|Tools |
− | ** | + | ** Category:Bibtex|References |
− | ** | + | ** Category:Categories|Categories |
− | ** | + | * resources |
− | ** | + | ** WST|Workshop on Termination |
− | ** | + | <!-- ** WScT|Workshop on Certified Termination --> |
+ | ** TPDB|Termination Problems Data Base | ||
+ | ** Termination Competition|Termination Competition | ||
+ | ** Termtools|Termination Tools Mailing List |
Latest revision as of 09:49, 5 March 2014
- navigation
- Home|Home
- Category:News|News
- Category:People|People
- Category:Tools|Tools
- Category:Bibtex|References
- Category:Categories|Categories
- resources
- WST|Workshop on Termination
- TPDB|Termination Problems Data Base
- Termination Competition|Termination Competition
- Termtools|Termination Tools Mailing List