Difference between revisions of "Termination Competition 2014 Registration"

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

Verification of Termination of Term Rewriting
- Standard TRS
  - CeTA
  - Rainbow

@@ Line 2: / Line 2: @@
 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