right_extension (144B)
1 # Right extension 2 3 A [word] u is a *right extension* of a [word] v iff v is a [prefix] of u 4 5 Up: [prefix] 6 7 See also: [distinguishing_extension]
![]() | wiki_researchpersonal research wiki |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |