View in EDS PDF Full Text

The Expressive Power of Higher-Order Datalog.

Saved in:
Bibliographic Details
Title: The Expressive Power of Higher-Order Datalog.
Authors: CHARALAMBIDIS, ANGELOS1 (AUTHOR) acharal@iit.demokritos.gr, NOMIKOS, CHRISTOS2 (AUTHOR) cnomikos@cs.uoi.gr, RONDOGIANNIS, PANOS3 (AUTHOR) prondo@di.uoa.gr
Source: Theory & Practice of Logic Programming. Sep2019, Vol. 19 Issue 5/6, p925-940. 16p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068419000279