Corrigendum: "Rings which Admit Elimination of Quantifiers".

Published in: J. Symb. Log. (1979)

Keyphrases

first order logic
elimination algorithm
natural language
optimal solution
data structure
multiresolution
prior knowledge
image data
least squares