Jan A. Bergstra, Inge Bethke. Straight-line instruction sequence completeness for total calculation on cancellation meadows. CoRR, abs/0905.4612, 2009. [doi]
@article{abs-0905-4612,
title = {Straight-line instruction sequence completeness for total calculation on cancellation meadows},
author = {Jan A. Bergstra and Inge Bethke},
year = {2009},
url = {http://arxiv.org/abs/0905.4612},
note = {informal publication},
tags = {completeness},
researchr = {https://researchr.org/publication/abs-0905-4612},
cites = {0},
citedby = {0},
journal = {CoRR},
volume = {abs/0905.4612},
}