Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

9 Citationer (Scopus)

Originalsprog	Engelsk
Titel	IJCAR 2018
Redaktører	Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Antal sider	19
Vol/bind	10900
Forlag	Springer, Cham
Publikationsdato	2018
Sider	89-107
DOI	https://doi.org/10.1007/978-3-319-94205-6_7
Status	Udgivet - 2018
Udgivet eksternt	Ja

Navn	LNCS

Adgang til dokumentet

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 › peer review

@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",

}

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 -