Differences between revisions 122 and 134 (spanning 12 versions)
Revision 122 as of 2005-02-07 18:03:14
Size: 2861
Editor: yakko
Comment:
Revision 134 as of 2007-09-02 18:12:31
Size: 3240
Editor: YAKKO
Comment:
Deletions are marked like this. Additions are marked like this.
Line 19: Line 19:
   * ["Cryptography"]
   * CutFreeProof
Line 54: Line 56:
   * ["Interpolant"]
Line 55: Line 58:
   * InterfaceMessagingProcessor (IMP)
Line 56: Line 60:
   * LogicalImplication (|= symbol and also |-)
   * LogicalMemory
   * LogicalImplication ([[latex2($$\models$$)]] and [[latex2($$\vdash$$)]])
   * LogicalMemory                          (START EDITING HERE)
Line 70: Line 74:
   * NetworkDelay
Line 74: Line 79:
   * PartialOrder
Line 76: Line 82:
   * PoSet (PartiallyOrderedSet)
Line 95: Line 102:
   * SemiDefinite
Line 100: Line 108:
   * ["Steganography"]
Line 108: Line 117:
   * TruthFunction (notation for [[latex2($\vdash$)]])
Line 110: Line 120:
   * UninterpretedFunctions

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