Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
METADATA ONLY
Loading...
Author / Producer
Date
2018
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Book title
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings
Journal / series
Volume
10900
Pages / Article No.
89 - 107
Publisher
Springer
Event
9th International Joint Conference on Automated Reasoning (IJCAR 2018)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Organisational unit
03634 - Basin, David / Basin, David