restricted second-order logic for non-deterministic poly-logarithmic time | Logic Journal of the IGPL | Oxford Academic

Manuelal's Favorite Links from Diigo 2021-05-09