Oscar Estrada

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

2 Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada: An Axiomatization of G'3. LoLaCOM 2006

1 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

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

Coauthor Index

1	José Luis Carballido	[1] [2]
2	Mauricio Osorio (Mauricio Javier Osorio Galindo)	[1] [2]
3	José R. Arrazola Ramírez	[1] [2]