TY  - RPRT
TI  - An Axiomatic Setup for Algorithmic Homological Algebra and an Alternative Approach to Localization
AU  - Mohamed Barakat
AU  - Markus Lange-Hegermann
PY  - 2017
DO  - 10.1142/s0219498811004562
UR  - https://arxiv.org/abs/1003.1943
ID  - 1003.1943
ER  -