TY  - RPRT
TI  - Computing with Infinite Objects: the Gray Code Case
AU  - Dieter Spreen
AU  - Ulrich Berger
PY  - 2023
DO  - 10.46298/lmcs-19(3:1)2023
UR  - https://arxiv.org/abs/2105.14261
ID  - 2105.14261
ER  -