Kaveh Ghasemloo

According to our database, Kaveh Ghasemloo authored at least 4 papers between 2010 and 2017.

Collaborative distances:

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

2017

Uniformity and Nonuniformity in Proof Complexity.

Kaveh Ghasemloo

PhD thesis, 2017

2013

Theories for Subexponential-size Bounded-depth Frege Proofs.

Kaveh Ghasemloo, Stephen A. Cook

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2010

Questions answered. in theory.: http://cstheory.stackexchange.com/.

Dave Clarke, David Eppstein, Kaveh Ghasemloo, Lev Reyzin, András Z. Salamon, Peter W. Shor, Aaron D. Sterling, Suresh Venkatasubramanian

SIGACT News, 2010

Effectiveness in RPL, with applications to continuous logic.

Farzad Didehvar, Kaveh Ghasemloo, Massoud Pourmahdian

Ann. Pure Appl. Log., 2010