Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

Metadata only

Autor(in)

Datum

2018

Typ

Conference Paper

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Externe Links

Herausgeber(in)

Buchtitel

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings

Zeitschrift / Serie

Lecture Notes in Computer Science

Band

10900

Seiten / Artikelnummer

89 - 107

Verlag

Springer

Konferenz

9th International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, United Kingdom, July 14-17, 2018

Organisationseinheit

03634 - Basin, David / Basin, David

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection