Fedor Part

According to our database, Fedor Part authored at least 5 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

First-order reasoning and efficient semi-algebraic proofs.

Fedor Part, Neil Thapen, Iddo Tzameret

Ann. Pure Appl. Log., 2025

2022

Resolution with Counting: Lower Bounds for Proofs of Membership in the Complement of a Linear Map Image of the Boolean Cube.

Fedor Part

CoRR, 2022

2021

Resolution with Counting: Dag-Like Lower Bounds and Different Moduli.

Fedor Part, Iddo Tzameret

Comput. Complex., 2021

2018

Resolution with Counting: Lower Bounds over Different Moduli.

Fedor Part, Iddo Tzameret

Electron. Colloquium Comput. Complex., 2018

2015

Semi-simplicial Types in Logic-enriched Homotopy Type Theory.

Fedor Part, Zhaohui Luo

CoRR, 2015