A Formally Verified Abstract Account of Gödel's Incompleteness Theorems
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
A Formally Verified Abstract Account of Gödel's Incompleteness Theorems. / Popescu, Andrei; Traytel, Dmitriy.
CADE-27. ed. / Pascal Fontaine. Vol. 11716 Springer, Cham, 2019. p. 442-461 (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Popescu, A & Traytel, D 2019, A Formally Verified Abstract Account of Gödel's Incompleteness Theorems. in P Fontaine (ed.), CADE-27. vol. 11716, Springer, Cham, LNCS, pp. 442-461. https://doi.org/10.1007/978-3-030-29436-6_26
APA
Popescu, A., & Traytel, D. (2019). A Formally Verified Abstract Account of Gödel's Incompleteness Theorems. In P. Fontaine (Ed.), CADE-27 (Vol. 11716, pp. 442-461). Springer, Cham. LNCS https://doi.org/10.1007/978-3-030-29436-6_26
Vancouver
Popescu A, Traytel D. A Formally Verified Abstract Account of Gödel's Incompleteness Theorems. In Fontaine P, editor, CADE-27. Vol. 11716. Springer, Cham. 2019. p. 442-461. (LNCS). https://doi.org/10.1007/978-3-030-29436-6_26
Author
Bibtex
@inproceedings{ab3e739bdeff41a7a509ce806dc3770b,
title = "A Formally Verified Abstract Account of G{\"o}del's Incompleteness Theorems",
author = "Andrei Popescu and Dmitriy Traytel",
year = "2019",
doi = "10.1007/978-3-030-29436-6_26",
language = "English",
volume = "11716",
series = "LNCS",
pages = "442--461",
editor = "Pascal Fontaine",
booktitle = "CADE-27",
publisher = "Springer, Cham",
}
RIS
TY - GEN
T1 - A Formally Verified Abstract Account of Gödel's Incompleteness Theorems
AU - Popescu, Andrei
AU - Traytel, Dmitriy
PY - 2019
Y1 - 2019
U2 - 10.1007/978-3-030-29436-6_26
DO - 10.1007/978-3-030-29436-6_26
M3 - Article in proceedings
VL - 11716
T3 - LNCS
SP - 442
EP - 461
BT - CADE-27
A2 - Fontaine, Pascal
PB - Springer, Cham
ER -
ID: 245667931