dc.contributor.author | Aoto, T | en_US |
dc.contributor.author | Hirokawa, N | en_US |
dc.contributor.author | Nagele, J | en_US |
dc.contributor.author | Nishida, N | en_US |
dc.contributor.author | Zankl, H | en_US |
dc.date.accessioned | 2018-05-10T13:39:48Z | |
dc.date.available | 2015-03-17 | en_US |
dc.date.issued | 2015 | en_US |
dc.date.submitted | 2018-05-02T17:12:25.458Z | |
dc.identifier.isbn | 978-3-319-21400-9 | en_US |
dc.identifier.issn | 0302-9743 | en_US |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/37363 | |
dc.format.extent | 101 - 104 | en_US |
dc.rights | This is a pre-copyedited, author-produced version of an article accepted for publication in International Conference on Automated Deduction following peer review. The version of record is available https://link.springer.com/chapter/10.1007%2F978-3-319-21401-6_5 | |
dc.title | Confluence Competition 2015 | en_US |
dc.type | Conference Proceeding | |
dc.rights.holder | © Springer International Publishing Switzerland 2015 | |
dc.identifier.doi | 10.1007/978-3-319-21401-6_5 | en_US |
pubs.author-url | http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000363947500005&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6a | en_US |
pubs.notes | Not known | en_US |
pubs.publication-status | Published | en_US |
pubs.volume | 9195 | en_US |