No Cover Image

Book chapter 462 views

Higman’s Lemma and Its Computational Content / Monika, Seisenberger

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

Swansea University Author: Monika, Seisenberger

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: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>SCS</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>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><lastEdited>2019-07-17T15:40:47.0129424</lastEdited><Created>2016-06-06T20:36:46.7003382</Created><path><level id="1">College of Science</level><level id="2">Computer Science</level></path><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/></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 SCS 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 Computer Science COLLEGE CODE SCS Swansea University 2019-07-17T15:40:47.0129424 2016-06-06T20:36:46.7003382 College of Science Computer Science 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
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 0
published_date 2016-05-05T12:45:45Z
_version_ 1652808635078672384
score 10.873209