Login / Signup
A first-order completeness result about characteristic Boolean algebras in classical realizability.
Guillaume Geoffroy
Published in:
LICS (2022)
Keyphrases
</>
real valued
data sets
databases
boolean functions
real world
probabilistic model
first order logic
data exchange
data quality
stochastic dominance