Login / Signup
Operators Defined by Propositional Quantification and Their Interpretation over Cantor Space.
Tomasz Polacik
Published in:
Reports Math. Log. (1993)
Keyphrases
</>
first order logic
image interpretation
data structure
search space
user defined
propositional logic
quantitative evaluation
space requirements