No Cover Image

Journal article 1266 views

Applications of cut-free infinitary derivations to generalized recursion theory

Beckmann Arnold, Pohlers Wolfram, Arnold Beckmann Orcid Logo

Annals of Pure and Applied Logic, Volume: 94, Issue: 1-3, Pages: 7 - 19

Swansea University Author: Arnold Beckmann Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.1016/s0168-0072(97)00063-8

Published in: Annals of Pure and Applied Logic
ISSN: 01680072
Published: Elsevier BV 1998
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa24557
first_indexed 2015-11-20T01:58:30Z
last_indexed 2018-02-09T05:04:28Z
id cronfa24557
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2015-11-19T20:31:25.3054209</datestamp><bib-version>v2</bib-version><id>24557</id><entry>2015-11-19</entry><title>Applications of cut-free infinitary derivations to generalized recursion theory</title><swanseaauthors><author><sid>1439ebd690110a50a797b7ec78cca600</sid><ORCID>0000-0001-7958-5790</ORCID><firstname>Arnold</firstname><surname>Beckmann</surname><name>Arnold Beckmann</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2015-11-19</date><deptcode>MACS</deptcode><abstract/><type>Journal Article</type><journal>Annals of Pure and Applied Logic</journal><volume>94</volume><journalNumber>1-3</journalNumber><paginationStart>7</paginationStart><paginationEnd>19</paginationEnd><publisher>Elsevier BV</publisher><issnPrint>01680072</issnPrint><keywords/><publishedDay>31</publishedDay><publishedMonth>10</publishedMonth><publishedYear>1998</publishedYear><publishedDate>1998-10-31</publishedDate><doi>10.1016/s0168-0072(97)00063-8</doi><url/><notes>@articleBeckmann_1998,doi = 10.1016/s0168-0072(97)00063-8,url = http://dx.doi.org/10.1016/s0168-0072(97)00063-8,year = 1998,month = oct,publisher = Elsevier BV,volume = 94,number = 1-3,pages = 7--19,author = Arnold Beckmann and Wolfram Pohlers,title = Applications of cut-free infinitary derivations to generalized recursion theory,journal = Annals of Pure and Applied Logic</notes><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2015-11-19T20:31:25.3054209</lastEdited><Created>2015-11-19T20:31:25.1026196</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Beckmann</firstname><surname>Arnold</surname><order>1</order></author><author><firstname>Pohlers</firstname><surname>Wolfram</surname><order>2</order></author><author><firstname>Arnold</firstname><surname>Beckmann</surname><orcid>0000-0001-7958-5790</orcid><order>3</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2015-11-19T20:31:25.3054209 v2 24557 2015-11-19 Applications of cut-free infinitary derivations to generalized recursion theory 1439ebd690110a50a797b7ec78cca600 0000-0001-7958-5790 Arnold Beckmann Arnold Beckmann true false 2015-11-19 MACS Journal Article Annals of Pure and Applied Logic 94 1-3 7 19 Elsevier BV 01680072 31 10 1998 1998-10-31 10.1016/s0168-0072(97)00063-8 @articleBeckmann_1998,doi = 10.1016/s0168-0072(97)00063-8,url = http://dx.doi.org/10.1016/s0168-0072(97)00063-8,year = 1998,month = oct,publisher = Elsevier BV,volume = 94,number = 1-3,pages = 7--19,author = Arnold Beckmann and Wolfram Pohlers,title = Applications of cut-free infinitary derivations to generalized recursion theory,journal = Annals of Pure and Applied Logic COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2015-11-19T20:31:25.3054209 2015-11-19T20:31:25.1026196 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Beckmann Arnold 1 Pohlers Wolfram 2 Arnold Beckmann 0000-0001-7958-5790 3
title Applications of cut-free infinitary derivations to generalized recursion theory
spellingShingle Applications of cut-free infinitary derivations to generalized recursion theory
Arnold Beckmann
title_short Applications of cut-free infinitary derivations to generalized recursion theory
title_full Applications of cut-free infinitary derivations to generalized recursion theory
title_fullStr Applications of cut-free infinitary derivations to generalized recursion theory
title_full_unstemmed Applications of cut-free infinitary derivations to generalized recursion theory
title_sort Applications of cut-free infinitary derivations to generalized recursion theory
author_id_str_mv 1439ebd690110a50a797b7ec78cca600
author_id_fullname_str_mv 1439ebd690110a50a797b7ec78cca600_***_Arnold Beckmann
author Arnold Beckmann
author2 Beckmann Arnold
Pohlers Wolfram
Arnold Beckmann
format Journal article
container_title Annals of Pure and Applied Logic
container_volume 94
container_issue 1-3
container_start_page 7
publishDate 1998
institution Swansea University
issn 01680072
doi_str_mv 10.1016/s0168-0072(97)00063-8
publisher Elsevier BV
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
published_date 1998-10-31T06:48:15Z
_version_ 1821387098249232384
score 10.969525

Similar Items