A Verified Prover Based on Ordered Resolution
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
A Verified Prover Based on Ordered Resolution. / Schlichtkrull, Anders; Blanchette, Jasmin Christian; Traytel, Dmitriy.
CPP 2019. red. / Assia Mahboubi; Magnus O. Myreen. ACM, 2019. s. 152-165.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Schlichtkrull, A, Blanchette, JC & Traytel, D 2019, A Verified Prover Based on Ordered Resolution. i A Mahboubi & MO Myreen (red), CPP 2019. ACM, s. 152-165. https://doi.org/10.1145/3293880.3294100
APA
Schlichtkrull, A., Blanchette, J. C., & Traytel, D. (2019). A Verified Prover Based on Ordered Resolution. I A. Mahboubi, & M. O. Myreen (red.), CPP 2019 (s. 152-165). ACM. https://doi.org/10.1145/3293880.3294100
Vancouver
Schlichtkrull A, Blanchette JC, Traytel D. A Verified Prover Based on Ordered Resolution. I Mahboubi A, Myreen MO, red., CPP 2019. ACM. 2019. s. 152-165 https://doi.org/10.1145/3293880.3294100
Author
Bibtex
@inproceedings{03b7414febe449bbbe2706a8ebd89030,
title = "A Verified Prover Based on Ordered Resolution",
author = "Anders Schlichtkrull and Blanchette, {Jasmin Christian} and Dmitriy Traytel",
year = "2019",
doi = "10.1145/3293880.3294100",
language = "English",
pages = "152--165",
editor = "Assia Mahboubi and Myreen, {Magnus O.}",
booktitle = "CPP 2019",
publisher = "ACM",
}
RIS
TY - GEN
T1 - A Verified Prover Based on Ordered Resolution
AU - Schlichtkrull, Anders
AU - Blanchette, Jasmin Christian
AU - Traytel, Dmitriy
PY - 2019
Y1 - 2019
U2 - 10.1145/3293880.3294100
DO - 10.1145/3293880.3294100
M3 - Article in proceedings
SP - 152
EP - 165
BT - CPP 2019
A2 - Mahboubi, Assia
A2 - Myreen, Magnus O.
PB - ACM
ER -
ID: 245668122