10 citations · 17 across the 6 of their papers we have counts for
1 paper · 1 filter
Martin Hofmann, Ramyaa Ramyaa
The Immerman-Szelepcsenyi Theorem uses an algorithm for co-st- connectivity based on inductive counting to prove that NLOGSPACE is closed un- der complementation. We want to invest…