dc.contributor.author | Oliva, P | en_US |
dc.contributor.author | Powell, T | en_US |
dc.date.accessioned | 2018-01-31T15:52:18Z | |
dc.date.available | 2016-11-03 | en_US |
dc.date.issued | 2017-05 | en_US |
dc.date.submitted | 2018-01-09T11:17:32.600Z | |
dc.identifier.issn | 0168-0072 | en_US |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/31912 | |
dc.format.extent | 887 - 921 | en_US |
dc.relation.ispartof | ANNALS OF PURE AND APPLIED LOGIC | en_US |
dc.rights | https://doi.org/10.1016/j.apal.2016.11.003 | |
dc.title | Bar recursion over finite partial functions | en_US |
dc.type | Article | |
dc.rights.holder | Copyright © 2016 Elsevier | |
dc.identifier.doi | 10.1016/j.apal.2016.11.003 | en_US |
pubs.author-url | http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000396960300001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6a | en_US |
pubs.issue | 5 | en_US |
pubs.notes | Not known | en_US |
pubs.publication-status | Published | en_US |
pubs.volume | 168 | en_US |