Terms for subject Programming containing аддитивные ресурсы

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