Universidade Nova de Lisboa

Post-Doc, Departamento de Informática

Thesis Title: Formal Proofs and Refutations

Grigori Mints

Contact Information

Homepage:

http://centria.di.fct.unl.pt/~alama/
Address:

CENTRIA
Faculdade de Ciência e Tecnologia
Quinta da Torre
2829-516 Caparica
Portugal
Telephone:

+351-21-294-8536
 
Department Colleagues (22)

João Lourenço

Armanda Rodrigues


Ari Saptawijaya

The Anh Han

Following the Work of (25)

Quayshawn Spencer

Kristin Lamberty


Wesley Holliday

Branden Fitelson

Work being Followed by (33)

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