2006 | ||
---|---|---|
2 | EE | Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: An Axiomatization of G'3. LoLaCOM 2006 |
1 | EE | 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 |
1 | José Luis Carballido | [1] [2] |
2 | Mauricio Osorio (Mauricio Javier Osorio Galindo) | [1] [2] |
3 | José R. Arrazola Ramírez | [1] [2] |