Extensional Higher-Order Logic Programming
From MaRDI portal
Publication:2946709
DOI10.1145/2499937.2499942zbMath1353.68031arXiv1106.3457MaRDI QIDQ2946709
Panos Rondogiannis, Angelos Charalambidis, William W. Wadge, Konstantinos Handjopoulos, Panagiotis Rondogiannis
Publication date: 17 September 2015
Published in: Logics in Artificial Intelligence, ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1106.3457
68T27: Logic in artificial intelligence
68Q55: Semantics in the theory of computing
68N17: Logic programming