Fedor Part

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
First-order reasoning and efficient semi-algebraic proofs.
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.
CoRR, 2022

2021
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli.
Comput. Complex., 2021

2018
Resolution with Counting: Lower Bounds over Different Moduli.
Electron. Colloquium Comput. Complex., 2018

2015
Semi-simplicial Types in Logic-enriched Homotopy Type Theory.
CoRR, 2015


  Loading...