Ernst Specker;Volker Strassen
-;-
Satisfiability Is Quasilinear Complete in NQL
Journal of the ACM (JACM)
On time hierarchies
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Cited References
Computer algebra handbook