View in EDS PDF Full Text

Extensional Higher-Order Logic Programming.

Saved in:
Bibliographic Details
Title: Extensional Higher-Order Logic Programming.
Authors: CHARALAMBIDIS, ANGELOS1, a.charalambidis@di.uoa.gr, HANDJOPOULOS, KONSTANTINOS1, khandj@gmail.com, RONDOGIANNIS, PANAGIOTIS1, prondo@di.uoa.gr, WADGE, WILLIAM W.2, wwadge@csr.uvic.ca
Source: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-40, 40p
Database: Applied Science & Technology Source
Description
ISSN:15293785
DOI:10.1145/2499937.2499942