DECIDABILITY OF MODULES OVER A BÉZOUT DOMAIN D+XQ[X] WITH D A PRINCIPAL IDEAL DOMAIN AND Q ITS FIELD OF FRACTIONS
PUNINSKI, GENA, TOFFALORI, CARLOVolume:
79
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/jsl.2014.4
Date:
March, 2014
File:
PDF, 193 KB
2014