Skip to content

A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets.

Andreas Weiermann

VenueCCiE
Year2009
ProceedingsCiE

Browse the full CiE paper archive.