Borel separability of the coanalytic Ramsey sets.

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

Keyphrases

set theoretic
database
website
definite clause
information retrieval
artificial intelligence
search algorithm
expert systems
relational databases