Erfan Khaniki

Identifiers

• name variant Erfan Khaniki 0.60 · backfill

Papers (2)

1. The Proof Analysis Problem cs.CC · 2025 · author #4
2. New relations and separations of conjectures about incompleteness in the finite domain math.LO · 2019 · author #1

Mentions

• 2506.16956 #4 · arxiv_oai · confidence 0.70 Erfan Khaniki

Frequent Coauthors

• Albert Atserias 1 shared papers
• Noel Arteche 1 shared papers
• Susanna F. de Rezende 1 shared papers