Lydia Kondylidou
Identifiers
- name variant Lydia Kondylidou 0.60 · backfill
Papers (2)
- Tao's Equational Proof Challenge Accepted (Technical Report) cs.LO · 2026 · author #1
- The TPTP Format for Interpretations cs.LO · 2024 · author #4
Mentions
- 2406.06108 #4 · arxiv_oai · confidence 0.70 Lydia Kondylidou
- 2605.21200 #1 · arxiv_oai · confidence 0.70 Lydia Kondylidou
Frequent Coauthors
- Alexander Steen 1 shared papers
- Geoff Sutcliffe 1 shared papers
- Jasmin Blanchette 1 shared papers
- Marijn J.H. Heule 1 shared papers
- Pascal Fontaine 1 shared papers