Logic: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

18 June 2018

  • curprev 13:0313:03, 18 June 2018Mip talk contribs 142 bytes +142 Created page with "== Complexity == * A good course on [https://www.cs.rice.edu/~vardi/comp409/lec8.pdf NP completeness] (turing machine, languages, witness...)."