Existential ∅-Definability of Henselian Valuation Rings.

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

Keyphrases

fixed point
propositional logic
query answering
real option
image processing
relational databases
probability distribution
ontology based data access
finite model theory