View in EDS PDF Full Text

The Power of Negation in Higher-Order Datalog.

Saved in:
Bibliographic Details
Title: The Power of Negation in Higher-Order Datalog.
Authors: CHARALAMBIDIS, ANGELOS1 (AUTHOR), KOSTOPOULOS, BABIS1,2 (AUTHOR), NOMIKOS, CHRISTOS2,3 (AUTHOR), RONDOGIANNIS, PANOS1,3 (AUTHOR)
Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p595-611. 17p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068425100227