A Formally Verified Abstract Account of Gödel's Incompleteness Theorems
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
A Formally Verified Abstract Account of Gödel's Incompleteness Theorems. / Popescu, Andrei; Traytel, Dmitriy.
CADE-27. red. / Pascal Fontaine. Bind 11716 Springer, Cham, 2019. s. 442-461 (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Popescu, A & Traytel, D 2019, A Formally Verified Abstract Account of Gödel's Incompleteness Theorems. i P Fontaine (red.), CADE-27. bind 11716, Springer, Cham, LNCS, s. 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. I P. Fontaine (red.), CADE-27 (Bind 11716, s. 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. I Fontaine P, red., CADE-27. Bind 11716. Springer, Cham. 2019. s. 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