Ioanna Symeonidou

Identifiers

• name variant Ioanna Symeonidou 0.60 · backfill

Papers (3)

1. Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs cs.PL · 2018 · author #3
2. The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs cs.PL · 2017 · author #2
3. Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs cs.LO · 2015 · author #3

Mentions

• 1509.03013 #3 · backfill · confidence 0.70 Ioanna Symeonidou

Frequent Coauthors

• Panos Rondogiannis 3 shared papers
• Angelos Charalambidis 2 shared papers