No Cover Image

Book Chapter 416 views

Higman’s Lemma and Its Computational Content / Helmut Schwichtenberg; Monika Seisenberger; Franziskus Wiesnet

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

Swansea University Author: Seisenberger, Monika

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
Tags: Add Tag
No Tags, Be the first to tag this record!
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:47Z</datestamp><bib-version>v2</bib-version><id>28718</id><entry>2016-06-06</entry><title>Higman&#x2019;s Lemma and Its Computational Content</title><alternativeTitle></alternativeTitle><author>Monika Seisenberger</author><firstname>Monika</firstname><surname>Seisenberger</surname><active>true</active><ORCID>0000-0002-2226-386X</ORCID><ethesisStudent>false</ethesisStudent><sid>d035399b2b324a63fe472ce0344653e0</sid><email>d4d1274132e61ce7a5453ae2a115dad1</email><emailaddr>YwmdOdQu2J4sdz3Ttys+FMXSD9apmhwp34LCq09fig8=</emailaddr><date>2016-06-06</date><deptcode>SCS</deptcode><abstract></abstract><type>Chapter in book</type><journal>Advances in Proof Theory</journal><volume>28</volume><journalNumber/><paginationStart>353</paginationStart><paginationEnd>375</paginationEnd><publisher></publisher><placeOfPublication/><isbnPrint>978-3-319-29196-3978-3-319-29198-7</isbnPrint><isbnElectronic/><issnPrint/><issnElectronic/><keywords></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></url><notes></notes><college>College of Science</college><department>Computer Science</department><CollegeCode>CSCI</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution/><researchGroup>None</researchGroup><supervisor/><sponsorsfunders/><grantnumber/><degreelevel/><degreename>None</degreename><lastEdited>2019-07-17T15:40:47Z</lastEdited><Created>2016-06-06T20:36:46Z</Created><path><level id="1">College of Science</level><level id="2">Computer Science</level></path><authors><author><firstname>Helmut</firstname><surname>Schwichtenberg</surname><orcid/><order>1</order></author><author><firstname>Monika</firstname><surname>Seisenberger</surname><orcid/><order>2</order></author><author><firstname>Franziskus</firstname><surname>Wiesnet</surname><orcid/><order>3</order></author></authors><documents/></rfc1807>
spelling 2019-07-17T15:40:47Z v2 28718 2016-06-06 Higman’s Lemma and Its Computational Content Monika Seisenberger Monika Seisenberger true 0000-0002-2226-386X false d035399b2b324a63fe472ce0344653e0 d4d1274132e61ce7a5453ae2a115dad1 YwmdOdQu2J4sdz3Ttys+FMXSD9apmhwp34LCq09fig8= 2016-06-06 SCS Chapter in book 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 of Science Computer Science CSCI SCS None None 2019-07-17T15:40:47Z 2016-06-06T20:36:46Z College of Science Computer Science Helmut Schwichtenberg 1 Monika Seisenberger 2 Franziskus Wiesnet 3
title Higman’s Lemma and Its Computational Content
spellingShingle Higman’s Lemma and Its Computational Content
Seisenberger, Monika
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_***_Seisenberger, Monika
author Seisenberger, Monika
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
college_str College of Science
hierarchytype
hierarchy_top_id collegeofscience
hierarchy_top_title College of Science
hierarchy_parent_id collegeofscience
hierarchy_parent_title College of Science
department_str Computer Science{{{_:::_}}}College of Science{{{_:::_}}}Computer Science
document_store_str 0
active_str 1
published_date 2016-05-05T15:26:19Z
_version_ 1642486907880341504
score 10.836546