Fondamenti Logici dell'Informatica (Modulo 2)
Corso di Laurea Magistrale in Informatica

Programma del Modulo

Bibliografia del Corso
[1] N. Immerman. Descriptive Complexity. Springer, 1999. [ WebPage ]
[2] J. Ullman. Principles of database and knowledge-base systems, Volume I. Computer Science Press, 1990.
[3] E. Clarke and O. Grumberg and D. Peled. Model Checking. MIT Press, 1999.