DIIGA, Dipartimento di Ingegneria Informatica, Gestionale e dell'Automazione

at Università Politecnica delle Marche, Italy

Sign up to Academia.edu

Università Politecnica delle Marche, Italy edit
DIIGA, Dipartimento di Ingegneria Informatica, Gestionale e dell'Automazione edit
Graduate Students

Francesco Spegni

Automata, Automata Theory (Formal Languages), Automated Deduction, Computational Logic, Computer Science, Logic Programming, Logical Consequence, Modal Logic, Model Checking, and Programming Languages
x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012