Login / Signup
Infinite Spectra of First-Order Properties for Random Hypergraphs.
S. N. Popova
Published in:
Probl. Inf. Transm. (2018)
Keyphrases
</>
desirable properties
topological properties
first order logic
quantifier elimination