Differences between revisions 118 and 121 (spanning 3 versions)
Revision 118 as of 2004-09-27 19:19:42
Size: 2744
Editor: anonymous
Comment: missing edit-log entry for this revision
Revision 121 as of 2005-01-30 21:59:25
Size: 2816
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 34: Line 34:
   * FirstOrderTheory
Line 59: Line 60:
   * LeastFixedPoint
Line 76: Line 78:
   * PresburgerArithmetic

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