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!
College: College of Science
Start Page: 353
End Page: 375