ITRS

From Termination-Portal.org
Revision as of 14:43, 21 December 2009 by C-Otto (talk | contribs) (moved ITRS to Integer Term Rewriting)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Redirect page
Jump to navigationJump to search

Redirect to:

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=ITRS&oldid=1022"