LCF: A Lexicagraphic Binary representation of the Rationals

Peter Kornerup, David W. Matula. LCF: A Lexicagraphic Binary representation of the Rationals. J. UCS, 1(7):484-503, 1995. [doi]

Authors

Peter Kornerup

This author has not been identified. Look up 'Peter Kornerup' in Google

David W. Matula

This author has not been identified. Look up 'David W. Matula' in Google