Constructing the Reals as Dedekind Cuts of Rationals.

Jacques D. Fleuriot Lawrence C. Paulson

Published in: Arch. Formal Proofs (2022)

Keyphrases

three dimensional
constraint databases
information retrieval
artificial intelligence
relational databases
special case