@dblp

Dynamic Theories of Real and Complex Numbers.

, and . MFCS, volume 64 of Lecture Notes in Computer Science, page 239-249. Springer, (1978)

Links and resources

Tags