Beth definability and the Stone-Weierstrass Theorem.

Published in: Ann. Pure Appl. Log. (2021)

Keyphrases

fixed point
propositional logic
von neumann
data sets
information systems
artificial intelligence
search algorithm
databases
knowledge base
multimedia
high level
computational complexity
mobile robot
sufficient conditions
digital topology