@第{zbMATH07078681条，作者={Ziobro，Rafa{\l}}，标题={短有限序列上的算术运算}，FJournal={形式化数学}，日志={Formaliz.Math.}，ISSN＝{1426-2630}，体积={26}，数字={3}，页码={199--208}，年份={2018年}，语言={英语}，DOI={10.2478/forma-2018-0018}，关键词={11B99,03B35}，zbMATH={7078681}，Zbl={1422.11062}}