Termination Competition 2014 Registration

From Termination-Portal.org
Revision as of 10:12, 12 June 2014 by J.waldmann (talk | contribs)
Jump to navigationJump to search

(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