quanttype
,
about
,
archive
,
subscribe
NP and non-deterministic Turing machines
(2014-10-08)