Panos Rondogiannis
Panos Rondogiannis
Affiliation: National and Kapodistrian University of Athens
Pages in this Program
Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
From Time to Space: The Impact of Linearity in Higher-Order Datalog
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑