Standard
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. / Schlichtkrull, Anders; Blanchette, Jasmin Christian; Traytel, Dmitriy; Waldmann, Uwe.
IJCAR 2018. red. / Didier Galmiche; Stephan Schulz; Roberto Sebastiani. Bind 10900 Springer, Cham, 2018. s. 89-107 (LNCS).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Schlichtkrull, A, Blanchette, JC
, Traytel, D & Waldmann, U 2018,
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. i D Galmiche, S Schulz & R Sebastiani (red),
IJCAR 2018. bind 10900, Springer, Cham, LNCS, s. 89-107.
https://doi.org/10.1007/978-3-319-94205-6_7APA
Schlichtkrull, A., Blanchette, J. C.
, Traytel, D., & Waldmann, U. (2018).
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. I D. Galmiche, S. Schulz, & R. Sebastiani (red.),
IJCAR 2018 (Bind 10900, s. 89-107). Springer, Cham. LNCS
https://doi.org/10.1007/978-3-319-94205-6_7Vancouver
Schlichtkrull A, Blanchette JC
, Traytel D, Waldmann U.
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. I Galmiche D, Schulz S, Sebastiani R, red., IJCAR 2018. Bind 10900. Springer, Cham. 2018. s. 89-107. (LNCS).
https://doi.org/10.1007/978-3-319-94205-6_7Author
Schlichtkrull, Anders ; Blanchette, Jasmin Christian ; Traytel, Dmitriy ; Waldmann, Uwe. / Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. IJCAR 2018. red. / Didier Galmiche ; Stephan Schulz ; Roberto Sebastiani. Bind 10900 Springer, Cham, 2018. s. 89-107 (LNCS).
Bibtex
@inproceedings{0c7ae04a689849b09e0f1a931db6e445,
title = "Formalizing Bachmair and Ganzinger's Ordered Resolution Prover",
author = "Anders Schlichtkrull and Blanchette, {Jasmin Christian} and Dmitriy Traytel and Uwe Waldmann",
year = "2018",
doi = "10.1007/978-3-319-94205-6_7",
language = "English",
volume = "10900",
series = "LNCS",
pages = "89--107",
editor = "Didier Galmiche and Stephan Schulz and Roberto Sebastiani",
booktitle = "IJCAR 2018",
publisher = "Springer, Cham",
}
RIS
TY - GEN
T1 - Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
AU - Schlichtkrull, Anders
AU - Blanchette, Jasmin Christian
AU - Traytel, Dmitriy
AU - Waldmann, Uwe
PY - 2018
Y1 - 2018
U2 - 10.1007/978-3-319-94205-6_7
DO - 10.1007/978-3-319-94205-6_7
M3 - Article in proceedings
VL - 10900
T3 - LNCS
SP - 89
EP - 107
BT - IJCAR 2018
A2 - Galmiche, Didier
A2 - Schulz, Stephan
A2 - Sebastiani, Roberto
PB - Springer, Cham
ER -
