21 citations · 64 across the 16 of their papers we have counts for
1 paper · 2 filters
Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos +1
One of the most significant achievements of equilibrium logic was the characterization of strong equivalence, a property crucial for program transformation and optimization in Answ…