Giannos Chatziagapis
Giannos Chatziagapis
Affiliation: National and Kapodistrian University of Athens
Pages in this Program
Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑