Right now I am designing algorithms to compress propositional resolution proofs...

Institut National de Recherche en Informatique et Automatique (INRIA)

Post-Doc, INRIA Nancy--Grand-Est

Cairo Lúcio Nascimento Júnior
Carlos Henrique Costa Ribeiro
Alexander Leitsch
Stephan Merz
Pascal Fontaine

Contact Information

Homepage:

http://www.logic.at/people/bruno/

IM:

Skype: bruno.wp
GTalk: bruno.wp

 
Annals of Pure and Applied Logic
Journal of Logic, Language and Information
Archive for mathematical logic

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