Comparing counting classes for logspace, one-way logspace, and first-order

From MaRDI portal
Publication:3569006