Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Information Systems,Software
Reference23 articles.
1. Abiteboul, S., & Duschka, O. (1998). Complexity of answering queries using materialized views. In Sym. on principles of database systems (pp. 254–263).
2. Abiteboul, S., Viannu, R., & Hull, V. (1995). Foundations of database systems. Reading: Addison Wesley.
3. Andreka, H., van Benthem, J., & Nemeti, I. (1998). Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27, 217–274.
4. Bernays, P., & Schönfinkel, M. (1928). Zum Entscheidungsproblem der mathematischen Logik. Mathematische Annalen, 99, 342–372.
5. Börger, E., Grädel, E., & Gurevich, Y. (1997). The classical decision problem. Perspectives of mathematical logic. New York: Springer.