21 citations · 64 across the 16 of their papers we have counts for
1 paper · 2 filters
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming. The former approach uses classical domain theore…