scientific article; zbMATH DE number 7437707

zbMath1476.68142MaRDI QIDQ5014440

Panos Rondogiannis, Angelos Charalambidis, Ioanna Symeonidou

Publication date: 2 December 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2015.4

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• HiLog

Cites Work

• Programming with Higher-Order Logic
• Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
• Extensional Higher-Order Logic Programming
• HiLog: A foundation for higher-order logic programming
• Unnamed Item
• Unnamed Item