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

Cached

Download Links

by Monika Seisenberger
Venue:IN P. CALLAGHAN, E.AL., TYPES FOR PROOFS AND PROGRAMS, LECTURE NOTES IN COMPUTER SCIENCE 2277
Citations:3 - 1 self