Difference between revisions of "Integer Term Rewriting"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (Created page with 'The main idea of ITRSs is to add pre-defined constructors for integers (the integers themselves) and Booleans (true / false) and arithmetic, relational and Boolean functions like…') |
|||
| Line 12: | Line 12: | ||
[http://lists.lri.fr/pipermail/termtools/2009-October/000775.html full text of the proposal] | [http://lists.lri.fr/pipermail/termtools/2009-October/000775.html full text of the proposal] | ||
| + | |||
| + | [[Category:Categories]] | ||
Revision as of 14:41, 21 December 2009
The main idea of ITRSs is to add pre-defined constructors for integers (the integers themselves) and Booleans (true / false) and arithmetic, relational and Boolean functions like
+, -, *,/ ,%, >, >=, <, &&, ||, !, ...
to conventional TRSs. To this aim it is necessary to extend the XTC format by the ability to represent pre-defined semantics for function symbols. Not only ITRSs, but also other extensions with pre-defined functions can be represented using this extension of the XTC format.
