Author:
Barbanchon Régis,Grandjean Etienne
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;R. Barbanchon,2002
2. Courcelle, B.: On the expression of graph properties in some fragments of monadic second-order logic. In: Immermann, N., Kolaitis, P. (eds.) Descriptive Complexity and Finite Models, pp. 33–62. American Mathematical Society, Providence (1997)
3. Durand, A., Hermann, M., Kolaitis, P.: Subtractive reductions and complete problems for counting complexity classes. Theoretical Computer Science (2003) (to appear)
4. Eiter, T., Gottlob, G., Gurevitch, Y.: Existential second order logic over strings. Journal of the ACM 41(1), 77–131 (2000)
5. Fagin, R.: Generalized first-order spectra and polynomial-time recognizable sets. Complexity and Computation 7, 43–73 (1974)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献