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 13 pages are in this category, out of 13 total.

C

F

Functional Programming

H

Higher Order Rewriting

I

Integer Term Rewriting

J

Java Bytecode

L

Logic Programming

P

Probabilistic Rewriting

S

String Rewriting

T

Transition Systems

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

Navigation menu