Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.

Saved in:

Bibliographic Details
Title:	Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs.
Authors:	CHARALAMBIDIS, ANGELOS¹ acharala@di.uoa.gr, RONDOGIANNIS, PANOS¹, SYMEONIDOU, IOANNA¹, Dal Palu, Alessandro¹ acharala@di.uoa.gr, Tarau, Paul¹
Source:	Theory & Practice of Logic Programming. May2018, Vol. 18 Issue 3/4, p421-437. 17p.
Database:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S1471068418000108