Help

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 navigationJump to search

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

Pages in category "Categories"

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

C

  • C Integer Programs
  • C Programs
  • Certified Termination
  • Complexity
  • Cycle Rewriting

F

  • Functional Programming

H

  • Higher Order Rewriting

I

  • Integer Term Rewriting

J

  • Java Bytecode

L

  • Logic Programming

P

  • PTRS Innermost
  • PTRS Standard

S

  • SRS Relative
  • SRS Standard
  • String Rewriting

T

  • Transition Systems
  • TRS Innermost
  • TRS Outermost
  • TRS Relative
  • TRS Standard
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Category:Categories&oldid=1024"

Navigation menu

Page actions

  • Category
  • Discussion
  • View source
  • History

Page actions

  • Category
  • Discussion
  • More
  • Tools

Personal tools

  • Log in
  • Request account

Navigation

  • Home
  • News
  • People
  • Tools
  • References
  • Categories

resources

  • Workshop on Termination
  • Termination Problems Data Base
  • Termination Competition
  • Termination Tools Mailing List

 

Tools

  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
Powered by MediaWiki
  • About Termination-Portal.org (Impressum)