Author:
Atserias Albert,Dawar Anuj,Grohe Martin
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Atserias, A., Dawar, A., Kolaitis, P.G.: On preservation under homomorphisms and unions of conjunctive queries. In: Proc. 23rd ACM Symp. on Principles of Database Systems, pp. 319–329 (2004)
2. Downey, R.G., Fellows, M.R.: Parametrized Complexity. Springer, Heidelberg (1999)
3. Ebbinghaus, H.-D., Flum, J.: Finite Model Theory, 2nd edn. Springer, Heidelberg (1999)
4. Ebbinghaus, H.-D., Flum, J., Thomas, W.: Mathematical Logic, 2nd edn. Springer, Heidelberg (1994)
5. Grohe, M., Flum, J., Frick., M.: Query evaluation via tree-decompositions. Journal of the ACM 49, 716–752 (2002)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. First order properties on nowhere dense structures;The Journal of Symbolic Logic;2010-09
2. Finite Model Theory on Tame Classes of Structures;Mathematical Foundations of Computer Science 2007
3. Model Theory Makes Formulas Large;Automata, Languages and Programming
4. Boundedness of Monadic FO over Acyclic Structures;Automata, Languages and Programming
5. On Datalog vs. LFP;Automata, Languages and Programming