Metadata only
Date
2011Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
Journal of Automated ReasoningVolume
Pages / Article No.
Publisher
SpringerSubject
Sequent calculus; Presburger arithmetic; Craig interpolationNotes
Received 24 July 2011, Accepted 12 August 2011, Published online 9 September 2011.More
Show all metadata
ETH Bibliography
yes
Altmetrics