Differences between revisions 51 and 64 (spanning 13 versions)
Revision 51 as of 2003-10-29 19:16:12
Size: 1333
Editor: yakko
Comment:
Revision 64 as of 2003-11-25 19:19:25
Size: 1713
Editor: pcp048102pcs
Comment:
Deletions are marked like this. Additions are marked like this.
Line 4: Line 4:
   * ["Bijection"]
   * BooleanAlgebra
   * BooleanTerm
Line 6: Line 9:
   * ["Decidable"] and SemiDecidable
Line 8: Line 12:
   * DelayBandwidthProduct
Line 12: Line 17:
   * FixedPoint
Line 13: Line 19:
   * FreeBooleanAlgebra
Line 14: Line 21:
   * GroundBooleanTerm
Line 28: Line 36:
   * MonotoneBooleanTerm
Line 33: Line 42:
   * RecursivelyEnumerableSets
   * RelationallyComplete
Line 38: Line 49:
   * SemiDecidable and ["Decidable"]
Line 40: Line 52:
   * SpatialExtent
Line 41: Line 54:
   * TcpFastRetransmit
   * TcpFastRecovery

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