Complexity:Techniques - Revision history

Georg.moser at 11:59, 8 June 2012

2012-06-08T11:59:00Z

Georg.moser at 11:39, 8 June 2012

2012-06-08T11:39:35Z

Georg.moser at 11:35, 8 June 2012

2012-06-08T11:35:35Z

Noschinski at 15:20, 16 December 2010

2010-12-16T15:20:59Z

Zini: Created page with 'This page is for listing all techniques applied by the participants of the complexity competitions. '''Be aware:''' the lists are still preliminary. == Derivational Complexity…'

2010-04-15T03:53:11Z

Created page with 'This page is for listing all techniques applied by the participants of the complexity competitions. '''Be aware:''' the lists are still preliminary. == Derivational Complexity…'

New page

This page is for listing all techniques applied by the participants of the complexity competitions.

'''Be aware:''' the lists are still preliminary.

== Derivational Complexity ==

{| class="wikitable center" border="1" style="text-align:left"
|-
! width="350"|Method
! 2008
! 2009
|-
| Arctic Interpretation
| [[Tools:CaT]]
| [[Tools:CaT]], [[Tools:TCT]]
|-
| Match Bounds
| [[Tools:CaT]]
| [[Tools:CaT]]
|-
| Matrix Interpretation Triangular
| [[Tools:CaT]], [[Tools:TCT]]
| [[Tools:CaT]], [[Tools:Matchbox]], [[Tools:TCT]]
|-
| Matrix Interpretation Non-Triangular
| ---
| [[Tools:Matchbox]]
|-
| Modular (Relative) Complexity Analysis
| ---
| [[Tools:CaT]]
|-
| Rewriting Right Hand Sides
| [[Tools:CaT]]
| [[Tools:TCT]]
|-
| Root Labeling
| [[Tools:CaT]]
| [[Tools:CaT]], [[Tools:TCT]]
|}

== Runtime Complexity ==

{| class="wikitable center" border="1" style="text-align:left"
|-
! width="350"|Method
! 2008
! 2009
|-
| Arctic Interpretation
| ---
| [[Tools:CaT]], [[Tools:TCT]]
|-
| Match Bounds
| ---
| [[Tools:CaT]]
|-
| Matrix Interpretation Triangular
| [[Tools:TCT]]
| [[Tools:CaT]], [[Tools:TCT]]
|-
| Matrix Interpretation Non-Triangular
| ---
| ---
|-
| Modular (Relative) Complexity Analysis
| ---
| [[Tools:CaT]]
|-
| Polynomial Path Orders
| [[Tools:TCT]]
| [[Tools:TCT]]
|-
| Rewriting Right Hand Sides
| ---
| ---
|-
| Root Labeling
| ---
| [[Tools:CaT]], [[Tools:TCT]]
|-
| Weak Dependency Pairs
| [[Tools:TCT]]
| [[Tools:TCT]]
|}

@@ Line 1: / Line 1: @@
 <pre>
-This page is outdated an no longer maintained. An up to date version of the content of this page
+This page is outdated an no longer maintained.
 </pre>
 This page is for listing all techniques applied by the participants of the complexity competitions.

← Older revision		Revision as of 11:39, 8 June 2012
Line 1:		Line 1:
		+	<pre>
		+	This page is outdated an no longer maintained. An up to date version of the content of this page
		+	can now be found here: [http://cl-informatik.uibk.ac.at/users/georg/cbr/competition/].
		+	</pre>

−	~~== News Flash ==~~	+	This page is for listing all techniques applied by the participants of the complexity competitions.
−
−
−	This ~~page is seriously outdated. An up-to-date version can be found here:~~
−	~~[http://cl-informatik.uibk.ac.at/users/georg/cbr/competition/]~~
−
−
−	~~----~~
−
−	~~his~~ page is for listing all techniques applied by the participants of the complexity competitions.

← Older revision		Revision as of 11:35, 8 June 2012
Line 1:		Line 1:
−	This page is for listing all techniques applied by the participants of the complexity competitions.	+
		+	== News Flash ==
		+
		+
		+	This page is seriously outdated. An up-to-date version can be found here:
		+	[http://cl-informatik.uibk.ac.at/users/georg/cbr/competition/]
		+
		+
		+	----
		+
		+	his page is for listing all techniques applied by the participants of the complexity competitions.

@@ Line 48: / Line 48: @@
 !  2008
 !  2009
 |-
 |  Arctic Interpretation
@@ Line 60: / Line 61: @@
 |  [[Tools:TCT]]
 |  [[Tools:CaT]], [[Tools:TCT]]
 |-
 |  Matrix Interpretation Non-Triangular
@@ Line 68: / Line 70: @@
 |  ---
 |  [[Tools:CaT]]
 |-
 |  Polynomial Path Orders
@@ Line 84: / Line 91: @@
 |  [[Tools:TCT]]
 |  [[Tools:TCT]]
 |}