Login / Signup
On the Nielsen-Schreier Theorem in Homotopy Type Theory.
Andrew W. Swan
Published in:
Log. Methods Comput. Sci. (2022)
Keyphrases
</>
database
von neumann
databases
theoretical framework
relational databases
hidden markov models
theoretical foundation
three dimensional
similarity measure
computational model
information theory
belief functions
theoretical basis