Edgar Altamirano

	2001
3		Edgar Altamirano, Gonzalo Escalada-Imaz: Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas. ECSQARU 2001: 792-804
	2000
2		Edgar Altamirano, Gonzalo Escalada-Imaz: Finding Tractable Formulas in NNF. Computational Logic 2000: 493-507
1		Edgar Altamirano, Gonzalo Escalada-Imaz: An Efficient Proof Method for Non-clausal Reasoning. ISMIS 2000: 534-542

Coauthor Index

1

Gonzalo Escalada-Imaz

[1] [2] [3]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page