Book chapter 1874 views
Higman’s Lemma and Its Computational Content
Helmut Schwichtenberg,
Monika Seisenberger 
,
Franziskus Wiesnet
,
Franziskus Wiesnet
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
Abstract
Higman’s Lemma and Its Computational Content
| 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 |
| Start Page: |
353 |
|---|---|
| End Page: |
375 |