Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2006-07-02 21:51:21 →
Size: 72
Editor: dot
Comment:
← Revision 2 as of 2006-07-02 21:52:02 → ⇥
Size: 105
Editor: dot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
See SemiDecidable or Sipser: Introduction to the theory of Computation See SemiDecidable or recursively enumerable in Sipser's, ''Introduction to the theory of Computation.''

See SemiDecidable or recursively enumerable in Sipser's, Introduction to the theory of Computation.

RecursivelyEnumerable (last edited 2006-07-02 22:00:35 by dot)