output
20032005
most citedYet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising

1 citations

researchers with a paper here
collaborating institutions
Showing math.ACShow all

1 paper · 1 filter

math.AC2005

The Noether numbers for cyclic groups of prime order

P. Fleischmann, M. Sezer, R. J. Shank +1

The Noether number of a representation is the largest degree of an element in a minimal homogeneous generating set for the corresponding ring of invariants. We compute the Noether…