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
 
Department Colleagues (4)

Ekaterina Lebedeva

Prakhar Agarwal


Stéphane Genaud

Following the Work of (30)

Marcelo Mattar

Oliver Fasching


Cairo L. Nascimento Jr.

Wikan Danar Sunindyo

Work being Followed by (34)
Following Journals (5)
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