Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs.

Saved in:

Bibliographic Details
Title:	Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs.
Authors:	CHARALAMBIDIS, ANGELOS¹ (AUTHOR), CHATZIAGAPIS, GIANNOS² (AUTHOR), KOSTOPOULOS, BABIS¹ (AUTHOR), RONDOGIANNIS, PANOS² (AUTHOR)
Source:	Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p80-94. 15p.
Database:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S147106842610057X