Tradeoffs for language recognition on alternating machines

From MaRDI portal
Publication:1117697