-
Notifications
You must be signed in to change notification settings - Fork 5
Publications
acharal edited this page Mar 15, 2013
·
1 revision
-
A. Charalambidis, K. Handjopoulos, P. Rondogiannis, W. Wadge Extensional Higher-Order Logic Programming. In Proceedings of the 12th European conference on Logics in artificial intelligence (pp. 91-103), Springer-Verlag, September 2010, Helsinki, Finland.
-
Charalambidis, A., Handjopoulos, K., Rondogiannis, P., & Wadge, W. W. (2011). Extensional Higher-Order Logic Programming. arXiv preprint arXiv:1106.3457.