Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.

Saved in:

Bibliographic Details
Title:	Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.
Authors:	CHARALAMBIDIS, ANGELOS¹ a.charalambidis@di.uoa.gr, ÉSIK, ZOLTÁN² ze@inf.u-szeged.hu, RONDOGIANNIS, PANOS² prondo@di.uoa.gr, Leuschel, Michael, Schrijvers, Tom
Source:	Theory & Practice of Logic Programming. Jul2014, Vol. 14 Issue 4/5, p725-737. 13p.
Database:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S1471068414000313