Login / Signup
Constructive Ultraproducts and Isomorphisms of Recursively Saturated Ultrapowers.
George C. Nelson
Published in:
Notre Dame J. Formal Log. (1992)
Keyphrases
</>
hierarchical structure
databases
search engine
computational complexity
expert systems
image registration