Login / Signup
Formalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals.
Jasmin Christian Blanchette
Mathias Fleury
Dmitriy Traytel
Published in:
Arch. Formal Proofs (2016)
Keyphrases
</>
real valued
rough approximations
artificial intelligence
knowledge representation
compositional semantics
real time
databases
information retrieval
bayesian networks
probabilistic model