An anti-locally-nameless approach to formalizing quantifiers.

Olivier Laurent

Published in: CPP (2021)

Keyphrases

first order logic
globally consistent
database systems
keywords
natural language
search algorithm
low cost
multi view