Difference between revisions of "Termination Competition 2014 Registration"

From Termination-Portal.org
Jump to navigationJump to search
(Created page with "(this page to be edited by the competition organizer) registrations, by category. last updated Thu June 12.")
 
Line 2: Line 2:
  
 
registrations, by category. last updated Thu June 12.
 
registrations, by category. last updated Thu June 12.
 +
 +
* Termination of Term Rewriting (and Transition Systems)
 +
**
 +
** integer transition systems
 +
*** T2
 +
 +
* Complexity Analysis of Term Rewriting
 +
** Derivational Complexity - Full Rewriting
 +
*** TCT
 +
** Runtime Complexity – Full Rewriting
 +
*** TCT
 +
** Runtime Complexity – Innermost Rewriting
 +
*** TCT
 +
 +
* Termination of Programming Languages
 +
** C
 +
*** AProVE
 +
*** T2
 +
 +
* Verification of Termination of Term Rewriting
 +
** Standard TRS
 +
*** CeTA
 +
*** Rainbow

Revision as of 10:12, 12 June 2014

(this page to be edited by the competition organizer)

registrations, by category. last updated Thu June 12.

  • Termination of Term Rewriting (and Transition Systems)
    • integer transition systems
      • T2
  • Complexity Analysis of Term Rewriting
    • Derivational Complexity - Full Rewriting
      • TCT
    • Runtime Complexity – Full Rewriting
      • TCT
    • Runtime Complexity – Innermost Rewriting
      • TCT
  • Termination of Programming Languages
    • C
      • AProVE
      • T2
  • Verification of Termination of Term Rewriting
    • Standard TRS
      • CeTA
      • Rainbow