Babis Kostopoulos

Identifiers

• name variant Babis Kostopoulos 0.60 · backfill

Papers (2)

1. From Time to Space: The Impact of Linearity in Higher-Order Datalog cs.PL · 2026 · author #2
2. Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs cs.LO · 2026 · author #3

Mentions

• 2606.02394 #2 · arxiv_oai · confidence 0.70 Babis Kostopoulos
• 2606.02387 #3 · arxiv_oai · confidence 0.70 Babis Kostopoulos

Frequent Coauthors

• Angelos Charalambidis 2 shared papers
• Panos Rondogiannis 2 shared papers
• Giannos Chatziagapis 1 shared papers