Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
dc.contributor.author
Schlichtkrull, Anders
dc.contributor.author
Blanchette, Jasmin C.
dc.contributor.author
Traytel, Dmitriy
dc.contributor.author
Waldmann, Uwe
dc.contributor.editor
Galmiche, Didier
dc.contributor.editor
Schulz, Stephan
dc.contributor.editor
Sebastiani, Roberto
dc.date.accessioned
2018-08-16T15:14:01Z
dc.date.available
2018-08-15T14:29:37Z
dc.date.available
2018-08-16T15:14:01Z
dc.date.issued
2018
dc.identifier.isbn
978-3-319-94204-9
en_US
dc.identifier.isbn
978-3-319-94205-6
en_US
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-319-94205-6_7
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/282712
dc.language.iso
en
en_US
dc.publisher
Springer
en_US
dc.title
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
en_US
dc.type
Conference Paper
dc.date.published
2018-06-30
ethz.book.title
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings
en_US
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
10900
en_US
ethz.journal.abbreviated
LNCS
ethz.pages.start
89
en_US
ethz.pages.end
107
en_US
ethz.event
9th International Joint Conference on Automated Reasoning (IJCAR 2018)
en_US
ethz.event.location
Oxford, United Kingdom
en_US
ethz.event.date
July 14-17, 2018
en_US
ethz.identifier.wos
ethz.publication.place
Cham
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
en_US
ethz.date.deposited
2018-08-15T14:29:42Z
ethz.source
BATCH
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2018-08-16T15:14:03Z
ethz.rosetta.lastUpdated
2022-03-28T21:03:00Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Formalizing%20Bachmair%20and%20Ganzinger's%20Ordered%20Resolution%20Prover&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2018&rft.volume=10900&rft.spage=89&rft.epage=107&rft.issn=0302-9743&1611-3349&rft.au=Schlichtkrull,%20Anders&Blanchette,%20Jasmin%20C.&Traytel,%20Dmitriy&Waldmann,%20Uwe&rft.isbn=978-3-319-94204-9&978-3-319-94205-6&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-319-94205-6_7&rft.btitle=Automated%20Reasoning:%209th%20International%20Joint%20Conference,%20IJCAR%202018,%20Oxford,%20UK,%20July%2014-17,%202018,%20Proceedings
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [35322]