## End Extensions of Models of Linearly Bounded Arithmetic (1994)

by
Domenico Zambella
,
Buss S

Citations: | 11 - 0 self |