Integer Term Rewriting

From Termination-Portal.org
Revision as of 14:59, 27 November 2009 by J.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…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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.

full text of the proposal