DSpace Repository

Browsing Articulos Científicos Indexados by Author "Navarro J.A."

Browsing Articulos Científicos Indexados by Author "Navarro J.A."

Sort by: Order: Results:

  • A logical approach to A-prolog 
    Osorio M.; Navarro J.A.; Arrazola J. (2002)
    https://www.scopus.com/inward/record.uri?eid=2-s2.0-18944399782&doi=10.1016%2fS1571-0661%2804%2980554-1&partnerID=40&md5=ca502c864b5b6257454252dcf8150da4
  • Answer set programming and S4 
    Osorio M.; Navarro J.A. (2004)
    https://www.scopus.com/inward/record.uri?eid=2-s2.0-22944441606&partnerID=40&md5=29ee0bb825144121e78d8265ae3212ce
  • Applications of intuitionistic logic in Answer Set Programming 
    Osorio M.; Navarro J.A.; Arrazola J. (2004)
    https://www.scopus.com/inward/record.uri?eid=2-s2.0-2442605818&doi=10.1017%2fS1471068403001881&partnerID=40&md5=1e91af790d21a9c0a60aa382d72eedd0
  • Debugging in a-prolog: A logical approach 
    Osorio M.; Navarro J.A.; Arrazola J. (2002)
    https://www.scopus.com/inward/record.uri?eid=2-s2.0-84888233586&partnerID=40&md5=8476dce9169e9ca44bc8659c6e239c5b

Search DSpace


Advanced Search

Browse

My Account