No Cover Image

Conference Paper/Proceeding/Abstract 892 views

An Inductive Version of Nash-Williams’ Minimal-Bad-Sequence Argument for Higman’s Lemma

Monika Seisenberger Orcid Logo

Lecture Notes In Computer Science, Volume: 2277, Pages: 233 - 242

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/3-540-45842-5_15

Published in: Lecture Notes In Computer Science
Published: Springer 2001
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Start Page: 233
End Page: 242