Juan Antonio Navarro

Identifiers

No identifiers captured yet.

Papers (1)

1. Applications of Intuitionistic Logic in Answer Set Programming cs.LO · 2003 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Jose Arrazola 1 shared papers
• Mauricio Osorio 1 shared papers