Terms containing additive quantities

Subject	English	Russian
progr.	additive quantities	аддитивные ресурсы (ssn)
progr.	additive quantities theory	теория аддитивных ресурсов (ssn)
progr.	additive quantity	аддитивный ресурс (ssn)
math.	additive quantity	аддитивная величина
progr.	axioms for the additive quantities theory	аксиомы теории аддитивных ресурсов (ssn)
progr.	core theories required by additive quantities theory	базовые теории, необходимые для теории аддитивных ресурсов (ssn)
progr.	informal semantics of the additive quantities theory	неформальная семантика теории аддитивных ресурсов (ssn)
progr.	primitive categories in the additive quantities theory	примитивные категории теории аддитивных ресурсов (ssn)
progr.	primitive constants in the additive quantities theory	примитивные константы в теории аддитивных ресурсов (ssn)
progr.	primitive functions in the additive quantities theory	примитивные функции в теории аддитивных ресурсов (ssn)
progr.	primitive relations in the additive quantities theory	примитивные отношения в теории аддитивных ресурсов (ssn)