Author:
Ferrarotti Flavio Antonio,Turull Torres José María
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference33 articles.
1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Redwood City, CA (1994)
2. Ajtai, M.: $\Sigma^1_1$ -formulae on finite structures. Ann. Pure Appl. Logic 24, 1–48 (1983)
3. Büchi, J.R.: Weak second-order arithmetic and finite automata. Z. Math. Log. Grundl. Math. 6, 66–92 (1960)
4. Chandra, A.K., Harel, D.: Computable queries for relational data bases. J. Comput. Syst. Sci. 21(2), 156–178 (1980)
5. Ebbinghaus, H., Flum, J.: Finite model theory, 2nd edn. Springer, Berlin Heidelberg New York (1999)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献