Login / Signup
Edgar Altamirano
Publication Activity (10 Years)
Years Active: 2000-2001
Publications (10 Years): 0
</>
Publications
</>
Edgar Altamirano
,
Gonzalo Escalada-Imaz
Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas.
ECSQARU
(2001)
Edgar Altamirano
,
Gonzalo Escalada-Imaz
An Efficient Proof Method for Non-clausal Reasoning.
ISMIS
(2000)
Edgar Altamirano
,
Gonzalo Escalada-Imaz
Finding Tractable Formulas in NNF.
Computational Logic
(2000)