Author:
Ferrarotti Flavio A.,Torres José M. Turull
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1994)
2. Ajtai, M.: $\Sigma^1_1$ -formulae on Finite Structures. Annals of Pure and Applied Logic 24, 1–48 (1983)
3. Büchi, J.R.: Weak second-order arithmetic and finite automata. Z. Math. Logik und Grund. Math. 6, 66–92 (1960)
4. Chandra, A.K., Harel, D.: Computable Queries for Relational Data Bases. Journal of Computer and System Sciences 21(2), 156–178 (1980)
5. Ebbinghaus, H., Flum, J.: Finite Model Theory, 2nd edn. Springer, Heidelberg (1999)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Arity and alternation: a proper hierarchy in higher order logics;Annals of Mathematics and Artificial Intelligence;2007-07-18