Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Atserias, A., Balcázar, J.L.: Refining logical characterizations of advice complexity classes. In: First Panhellenic Symposium on Logic, Cyprus (1997) (to appear)
2. Ajtai, M.: ∑ $_1^1$ formulae on finite structures. Annals of Pure and Applied Logic 24, 1–48 (1983)
3. Ajtai, M.: First-order definability on finite structures. Annals of Pure and Applied Logic 45, 211–225 (1989)
4. Barrington, D.A.M., Compton, K., Straubing, H., Thérien, D.: Regular languages in NC1. Journal of Computer and System Sciences 44, 478–499 (1992)
5. Perspectives in Mathematical Logic,1985
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献