2 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
A. Charalambidis, K. Handjopoulos, P. Rondogiannis +1
We propose a purely extensional semantics for higher-order logic programming. In this semantics program predicates denote sets of ordered tuples, and two predicates are equal iff t…