Wlodzimierz Zadrozny. Axiomatizations of floating point arithmetics. In Daniel D. Gajski, Ahmed Sameh, Kai Hwang, editors, 7th IEEE Symposium on Computer Arithmetic, ARITH 1985, Urbana, IL, USA, June 4-6, 1985. pages 74-81, IEEE, 1985. [doi]
@inproceedings{Zadrozny85,
title = {Axiomatizations of floating point arithmetics},
author = {Wlodzimierz Zadrozny},
year = {1985},
doi = {10.1109/ARITH.1985.6158980},
url = {http://dx.doi.org/10.1109/ARITH.1985.6158980},
researchr = {https://researchr.org/publication/Zadrozny85},
cites = {0},
citedby = {0},
pages = {74-81},
booktitle = {7th IEEE Symposium on Computer Arithmetic, ARITH 1985, Urbana, IL, USA, June 4-6, 1985},
editor = {Daniel D. Gajski and Ahmed Sameh and Kai Hwang},
publisher = {IEEE},
}