Login / Signup
On the Use of Computational Paths in Path Spaces of Homotopy Type Theory.
Arthur F. Ramos
Ruy J. G. B. de Queiroz
Anjolina Grisi de Oliveira
Tiago Mendonça Lucena de Veras
Published in:
CoRR (2018)
Keyphrases
</>
shortest path
path selection
optimal path
quotient space
path finding
multiple paths
theoretical framework
computational model
path queries
computational power
disjoint paths
approximation spaces
path length
databases
information theory
quality of service
rough sets
relational databases
data mining