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, KOSTOPOULOS, BABIS1,2, NOMIKOS, CHRISTOS2,3, RONDOGIANNIS, PANOS1,3
Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p595-611, 17p
Database: Applied Science & Technology Source
Description
ISSN:14710684
DOI:10.1017/S1471068425100227