wiki_research

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

conl (159B)

      1 # Co-NL
      2 
      3 [complement] of [nlogspace], equal to [logspace] by [immerman_szelepcsenyi_theorem]
      4 
      5 Up: [nlogspace]
      6 
      7 Aliases: co NLogspace, coNLogspace, CoNL, Co_NL