Differences between revisions 47 and 62 (spanning 15 versions)
Revision 47 as of 2003-10-13 22:08:58
Size: 1314
Editor: anonymous
Comment: missing edit-log entry for this revision
Revision 62 as of 2003-11-19 00:59:13
Size: 1640
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 4: Line 4:
   * ["Bijections"]
   * BooleanAlgebra
   * BooleanTerm
Line 6: Line 9:
   * ["Decidable"] and SemiDecidable
Line 12: Line 16:
   * FixedPoint
Line 13: Line 18:
   * FreeBooleanAlgebra
   * GroundClause
   * GroundBooleanTerm
Line 27: Line 35:
   * MonotoneBooleanTerm
Line 32: Line 41:
   * RecursivelyEnumerableSets
   * RelationallyComplete
Line 37: Line 48:
   * SemiDecidable and ["Decidable"]
Line 39: Line 51:
   * SpatialExtent

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