wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

conl (110B)

      1 # Co-NL
      2 
      3 [complement] of [nlogspace], equal to [logspace] by [immerman_szelepcsenyi_theorem]
      4 
      5 Up: [nlogspace]