Integer Term Rewriting: Revision history

17 June 2014

• curprev 16:0016:00, 17 June 2014 Giesl talk contribs 799 bytes +142 No edit summary
• curprev 15:5815:58, 17 June 2014 Giesl talk contribs 657 bytes +41 No edit summary

21 December 2009

• curprev 14:4314:43, 21 December 2009 C-Otto talk contribs m 616 bytes 0 moved ITRS to Integer Term Rewriting
• curprev 14:4114:41, 21 December 2009 C-Otto talk contribs 616 bytes +25 No edit summary

27 November 2009

• curprev 14:5914:59, 27 November 2009 J.waldmann talk contribs 591 bytes +591 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…'