Asymptotic cyclic expansion and bridge groups of formal proofs (2001)

by A. Carbone
Venue:JOURNAL OF ALGEBRA
Citations:5 - 1 self