The intricacies of three-valued extensional semantics for higher-order logic programs

  • PANOS RONDOGIANNIS, IOANNA SYMEONIDOU
  • Theory and Practice of Logic Programming, August 2017, Cambridge University Press
  • DOI: 10.1017/s1471068417000357

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1017/s1471068417000357