Differences between revisions 118 and 130 (spanning 12 versions)
Revision 118 as of 2004-09-27 19:19:42
Size: 2744
Editor: anonymous
Comment: missing edit-log entry for this revision
Revision 130 as of 2006-08-22 16:31:40
Size: 3127
Editor: dot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 19: Line 19:
   * ["Cryptography"]
   * CutFreeProof
Line 34: Line 36:
   * FirstOrderTheory
Line 54: Line 57:
   * InterfaceMessagingProcessor (IMP)
Line 55: Line 59:
   * LogicalImplication (|= symbol and also |-)
   * LogicalMemory
   * LogicalImplication ([[latex2($$\models$$)]] and [[latex2($$\vdash$$)]])
   * LogicalMemory                          (START EDITING HERE)
Line 59: Line 63:
   * LeastFixedPoint
Line 76: Line 81:
   * PresburgerArithmetic
Line 90: Line 96:
   * SemiAlgebraicSets
Line 91: Line 98:
   * SemiLinearSets
Line 95: Line 103:
   * ["Steganography"]
Line 103: Line 112:
   * TruthFunction (notation for [[latex2($\vdash$)]])
Line 105: Line 115:
   * UninterpretedFunctions

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