Programma del Modulo
[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. |