Formalizing Size-Optimal Sorting Networks

Extracting a Certified Proof Checker

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelInteractive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
RedaktørerChristian Urban, Xingyuan Zhang
ForlagSpringer
Publikationsdato2015
Sider154-169
ISBN (Trykt)978-3-319-22101-4
ISBN (Elektronisk)978-3-319-22102-1
DOI
StatusUdgivet - 2015
NavnLecture Notes in Computer Science
Vol/bind9236
ISSN0302-9743

Citer dette

Cruz-Filipe, L., & Schneider-Kamp, P. (2015). Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. I C. Urban, & X. Zhang (red.), Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (s. 154-169). Springer. Lecture Notes in Computer Science, Bind. 9236 https://doi.org/10.1007/978-3-319-22102-1_10
Cruz-Filipe, Luís ; Schneider-Kamp, Peter. / Formalizing Size-Optimal Sorting Networks : Extracting a Certified Proof Checker. Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. red. / Christian Urban ; Xingyuan Zhang. Springer, 2015. s. 154-169 (Lecture Notes in Computer Science, Bind 9236).
@inproceedings{b9ad4e1742604501b4fc7e868c2babb1,
title = "Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker",
author = "Lu{\'i}s Cruz-Filipe and Peter Schneider-Kamp",
year = "2015",
doi = "10.1007/978-3-319-22102-1_10",
language = "English",
isbn = "978-3-319-22101-4",
pages = "154--169",
editor = "Christian Urban and Xingyuan Zhang",
booktitle = "Interactive Theorem Proving",
publisher = "Springer",
address = "Germany",

}

Cruz-Filipe, L & Schneider-Kamp, P 2015, Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. i C Urban & X Zhang (red), Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. Springer, Lecture Notes in Computer Science, bind 9236, s. 154-169. https://doi.org/10.1007/978-3-319-22102-1_10

Formalizing Size-Optimal Sorting Networks : Extracting a Certified Proof Checker. / Cruz-Filipe, Luís; Schneider-Kamp, Peter.

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. red. / Christian Urban; Xingyuan Zhang. Springer, 2015. s. 154-169 (Lecture Notes in Computer Science, Bind 9236).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

TY - GEN

T1 - Formalizing Size-Optimal Sorting Networks

T2 - Extracting a Certified Proof Checker

AU - Cruz-Filipe, Luís

AU - Schneider-Kamp, Peter

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-22102-1_10

DO - 10.1007/978-3-319-22102-1_10

M3 - Article in proceedings

SN - 978-3-319-22101-4

SP - 154

EP - 169

BT - Interactive Theorem Proving

A2 - Urban, Christian

A2 - Zhang, Xingyuan

PB - Springer

ER -

Cruz-Filipe L, Schneider-Kamp P. Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. I Urban C, Zhang X, red., Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. Springer. 2015. s. 154-169. (Lecture Notes in Computer Science, Bind 9236). https://doi.org/10.1007/978-3-319-22102-1_10