Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference38 articles.
1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, New York (1996)
2. Adamek, J., Rosicky, J.: Locally Presentable and Accessible Categories. London Mathematical Society Lecture Note Series. Cambridge University Press (1994). https://doi.org/10.1017/CBO9780511600579
3. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, New York (1998)
4. Barr, M., Wells, C.: Category Theory for Computing Science. Prentice-Hall Inc., Upper Saddle River (1990)
5. Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Heidelberg (2002)