Oscar Estrada

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Oscar Estrada, José Arrazola, Mauricio Osorio
A Possibilistic Intuitionistic Logic. MICAI (1) (2010)
Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada
An Axiomatization of G'3. LoLaCOM (2006)
Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada
Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. LoLaCOM (2006)