Divergence (computer science): Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

5 June 2014

  • curprev 12:4612:46, 5 June 2014en>Jochen Burghardt 3,357 bytes +175 →‎Rewriting: a single reduction chain can't be confluent; ARSs deal with objects in general, not only with terms; fixed redlink

14 January 2014

30 January 2012