Return to Article Details Formal series, finiteness properties and decision problems Download Download PDF