Differences between revisions 119 and 131 (spanning 12 versions)
Revision 119 as of 2004-11-07 19:25:06
Size: 2766
Editor: yakko
Comment:
Revision 131 as of 2006-08-22 23:29:58
Size: 3149
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 53: Line 56:
   * ["Interpolant"]
Line 54: Line 58:
   * InterfaceMessagingProcessor (IMP)
Line 55: Line 60:
   * LogicalImplication (|= symbol and also |-)
   * LogicalMemory
   * LogicalImplication ([[latex2($$\models$$)]] and [[latex2($$\vdash$$)]])
   * LogicalMemory                          (START EDITING HERE)
Line 77: Line 82:
   * PresburgerArithmetic
Line 91: Line 97:
   * SemiAlgebraicSets
Line 92: Line 99:
   * SemiLinearSets
Line 96: Line 104:
   * ["Steganography"]
Line 104: Line 113:
   * TruthFunction (notation for [[latex2($\vdash$)]])
Line 106: Line 116:
   * UninterpretedFunctions

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