DOI10.14232/actacyb.23.1.2017.17zbMath1389.68008OpenAlexW2611754684MaRDI QIDQ5350159
Angelos Charalambidis, Panos Rondogiannis
Publication date: 25 August 2017 Published in: Acta Cybernetica (Search for Journal in Brave) Full work available at URL: https://doi.org/10.14232/actacyb.23.1.2017.17
zbMATH Keywords
fixed-point theorysemantics of logic programminghigher-order logic programming
Mathematics Subject Classification ID
Semantics in the theory of computing (68Q55) Logic programming (68N17)