Category:Categories

From Termination-Portal.org

Revision as of 14:46, 21 December 2009 by C-Otto (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

The tools work on different types of problems, which are listed on this page.

Pages in category "Categories"

The following 12 pages are in this category, out of 12 total.

C

F

Functional Programming

H

Higher Order Rewriting

I

Integer Term Rewriting

J

Java Bytecode

L

Logic Programming

S

String Rewriting

T

Transition Systems

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Category:Categories&oldid=1024"

Navigation menu