Differences between revisions 51 and 54 (spanning 3 versions)
Revision 51 as of 2003-10-29 19:16:12
Size: 1333
Editor: yakko
Comment:
Revision 54 as of 2003-11-02 21:54:35
Size: 1453
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:
   * ["Decidable"] and SemiDecidable
Line 12: Line 13:
   * FixedPoint
Line 33: Line 35:
   * RelationallyComplete
Line 38: Line 41:
   * SemiDecidable and ["Decidable"]

ComputerTerms (last edited 2020-02-02 17:49:07 by scot)