Gido Scharfenberger-Fabian

According to our database, Gido Scharfenberger-Fabian authored at least 4 papers between 2011 and 2012.

Collaborative distances:

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

2012

Verifying Proofs in Constant Depth.

Olaf Beyersdorff, Samir Datta, Andreas Krebs, Meena Mahajan, Gido Scharfenberger-Fabian, Karteek Sreenivasaiah, Michael Thomas, Heribert Vollmer

Electron. Colloquium Comput. Complex., 2012

2011

Chain homogeneous Souslin algebras.

Gido Scharfenberger-Fabian

Math. Log. Q., 2011

Souslin algebra embeddings.

Gido Scharfenberger-Fabian

Arch. Math. Log., 2011

Verifying Proofs in Constant Depth.

Olaf Beyersdorff, Samir Datta, Meena Mahajan, Gido Scharfenberger-Fabian, Karteek Sreenivasaiah, Michael Thomas, Heribert Vollmer

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011