Differences between revisions 36 and 69 (spanning 33 versions)
Revision 36 as of 2003-10-03 19:35:15
Size: 1160
Editor: yakko
Comment:
Revision 69 as of 2004-01-25 15:59:28
Size: 1788
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 4: Line 4:
   * ["Bijection"]
   * BooleanAlgebra
   * BooleanTerm
Line 6: Line 9:
   * [Dichotomy]    * ["Decidable"] and SemiDecidable
   * ["Dichotomy"]
Line 8: Line 12:
   * DelayBandwidthProduct
Line 12: Line 17:
   * FixedPoint
Line 13: Line 19:
   * FreeBooleanAlgebra
   * GroundClause
   * GroundBooleanTerm
Line 19: Line 28:
   * LogicalImplication (|= symbol)    * LogicalImplication (|= symbol and also |-)
Line 27: Line 36:
   * MonotoneBooleanTerm
Line 29: Line 39:
   * ["Performance"]
Line 30: Line 41:
   * ["Propositions" PropositionalLogic] or PropositionalLogic    * PowerSet
   * ["Proposition"] or PropositionalLogic
   * QueuingTheory
   * RecursivelyEnumerableSets
   * RelationallyComplete
   * ResponseTime
Line 35: Line 51:
   * SemanticsSyntaxSortsInLogic
   * SemiDecidable and ["Decidable"]
   * SequenceNumber
   * SlidingWindowProtocol
   * SpatialExtent
   * SpeedUp
Line 36: Line 58:
   * TcpFastRetransmit
   * TcpFastRecovery
   * TransmissionControlProtocol (TCP)
Line 38: Line 63:
   * ["Undecidable"]

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