Changes between Version 6 and Version 7 of Design/NewCoercibleSolver


Ignore:
Timestamp:
Mar 16, 2015 3:40:43 PM (4 years ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Design/NewCoercibleSolver

    v6 v7  
     1For ongoing (as of Mar '15) work about the solver, see [wiki:NewCoercibleSolver/V2 here].
     2
    13(In the text below, "I" = Richard Eisenberg)
    24
     
    9193It's a delicate thing, this termination. This section is about how we know that rewriting terminates.
    9294
     95'''UPDATE:''' With the decision by Simon and Dimitrios to eliminate D-rewrite-D, this section becomes moot. Adding roles does not complicate rewriting without D-rewrite-D.
     96
    9397== Current situation ==
    9498