Douglas S. Bridges. Dini's Theorem: A Constructive Case Study. In Cristian S. Calude, Michael J. Dinneen, Silviu Sburlan, editors, Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania. Discrete mathematics and theoretical computer science, pages 69-80, Springer, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.