Details
| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Mathematical Foundations of Computer Science 2011 |
| Subtitle of host publication | 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings |
| Pages | 84-95 |
| Publication status | Published - 2011 |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Verifying Proofs in Constant Depth. / Beyersdorff, Olaf; Datta, Samir; Mahajan, Meena et al.
Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings. 2011. p. 84-95.
Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings. 2011. p. 84-95.
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
Beyersdorff, O, Datta, S, Mahajan, M, Scharfenberger-Fabian, G, Sreenivasaiah, K, Thomas, M & Vollmer, H 2011, Verifying Proofs in Constant Depth. in Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings. pp. 84-95. https://doi.org/10.1007/978-3-642-22993-0_11
Beyersdorff, O., Datta, S., Mahajan, M., Scharfenberger-Fabian, G., Sreenivasaiah, K., Thomas, M., & Vollmer, H. (2011). Verifying Proofs in Constant Depth. In Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings (pp. 84-95) https://doi.org/10.1007/978-3-642-22993-0_11
Beyersdorff O, Datta S, Mahajan M, Scharfenberger-Fabian G, Sreenivasaiah K, Thomas M et al. Verifying Proofs in Constant Depth. In Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings. 2011. p. 84-95 doi: 10.1007/978-3-642-22993-0_11
Download
@inproceedings{f41f8fdf8c194e0bb7c7eb11873a0efd,
title = "Verifying Proofs in Constant Depth.",
author = "Olaf Beyersdorff and Samir Datta and Meena Mahajan and Gido Scharfenberger-Fabian and Karteek Sreenivasaiah and Michael Thomas and Heribert Vollmer",
note = "Funding information: Research supported by a DAAD/DST grant, DFG grant VO 630/6-2, and by grant N. 20517 from the John Templeton Foundation.",
year = "2011",
doi = "10.1007/978-3-642-22993-0_11",
language = "Undefined/Unknown",
pages = "84--95",
booktitle = "Mathematical Foundations of Computer Science 2011",
}
Download
TY - GEN
T1 - Verifying Proofs in Constant Depth.
AU - Beyersdorff, Olaf
AU - Datta, Samir
AU - Mahajan, Meena
AU - Scharfenberger-Fabian, Gido
AU - Sreenivasaiah, Karteek
AU - Thomas, Michael
AU - Vollmer, Heribert
N1 - Funding information: Research supported by a DAAD/DST grant, DFG grant VO 630/6-2, and by grant N. 20517 from the John Templeton Foundation.
PY - 2011
Y1 - 2011
U2 - 10.1007/978-3-642-22993-0_11
DO - 10.1007/978-3-642-22993-0_11
M3 - Aufsatz in Konferenzband
SP - 84
EP - 95
BT - Mathematical Foundations of Computer Science 2011
ER -