No Cover Image

Book chapter 1875 views

Higman’s Lemma and Its Computational Content

Helmut Schwichtenberg, Monika Seisenberger Orcid Logo, Franziskus Wiesnet

Advances in Proof Theory, Volume: 28, Pages: 353 - 375

Swansea University Author: Monika Seisenberger Orcid Logo

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

DOI (Published version): 10.1007/978-3-319-29198-7_11

Published in: Advances in Proof Theory
ISBN: 978-3-319-29196-3978-3-319-29198-7
Published: 2016
URI: https://cronfa.swan.ac.uk/Record/cronfa28718
first_indexed 2016-06-07T03:25:04Z
last_indexed 2019-07-17T20:38:24Z
id cronfa28718
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-07-17T15:40:47.0129424</datestamp><bib-version>v2</bib-version><id>28718</id><entry>2016-06-06</entry><title>Higman&#x2019;s Lemma and Its Computational Content</title><swanseaauthors><author><sid>d035399b2b324a63fe472ce0344653e0</sid><ORCID>0000-0002-2226-386X</ORCID><firstname>Monika</firstname><surname>Seisenberger</surname><name>Monika Seisenberger</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2016-06-06</date><deptcode>MACS</deptcode><abstract/><type>Book chapter</type><journal>Advances in Proof Theory</journal><volume>28</volume><paginationStart>353</paginationStart><paginationEnd>375</paginationEnd><publisher/><isbnPrint>978-3-319-29196-3978-3-319-29198-7</isbnPrint><keywords/><publishedDay>5</publishedDay><publishedMonth>5</publishedMonth><publishedYear>2016</publishedYear><publishedDate>2016-05-05</publishedDate><doi>10.1007/978-3-319-29198-7_11</doi><url/><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>2019-07-17T15:40:47.0129424</lastEdited><Created>2016-06-06T20:36:46.7003382</Created><authors><author><firstname>Helmut</firstname><surname>Schwichtenberg</surname><order>1</order></author><author><firstname>Monika</firstname><surname>Seisenberger</surname><orcid>0000-0002-2226-386X</orcid><order>2</order></author><author><firstname>Franziskus</firstname><surname>Wiesnet</surname><order>3</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2019-07-17T15:40:47.0129424 v2 28718 2016-06-06 Higman’s Lemma and Its Computational Content d035399b2b324a63fe472ce0344653e0 0000-0002-2226-386X Monika Seisenberger Monika Seisenberger true false 2016-06-06 MACS Book chapter Advances in Proof Theory 28 353 375 978-3-319-29196-3978-3-319-29198-7 5 5 2016 2016-05-05 10.1007/978-3-319-29198-7_11 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2019-07-17T15:40:47.0129424 2016-06-06T20:36:46.7003382 Helmut Schwichtenberg 1 Monika Seisenberger 0000-0002-2226-386X 2 Franziskus Wiesnet 3
title Higman’s Lemma and Its Computational Content
spellingShingle Higman’s Lemma and Its Computational Content
Monika Seisenberger
title_short Higman’s Lemma and Its Computational Content
title_full Higman’s Lemma and Its Computational Content
title_fullStr Higman’s Lemma and Its Computational Content
title_full_unstemmed Higman’s Lemma and Its Computational Content
title_sort Higman’s Lemma and Its Computational Content
author_id_str_mv d035399b2b324a63fe472ce0344653e0
author_id_fullname_str_mv d035399b2b324a63fe472ce0344653e0_***_Monika Seisenberger
author Monika Seisenberger
author2 Helmut Schwichtenberg
Monika Seisenberger
Franziskus Wiesnet
format Book chapter
container_title Advances in Proof Theory
container_volume 28
container_start_page 353
publishDate 2016
institution Swansea University
isbn 978-3-319-29196-3978-3-319-29198-7
doi_str_mv 10.1007/978-3-319-29198-7_11
document_store_str 0
active_str 0
published_date 2016-05-05T03:52:19Z
_version_ 1851635415842291712
score 11.089884

Similar Items