Login / Signup
A Path To DOT: Formalizing Fully-Path-Dependent Types.
Marianna Rapoport
Ondrej Lhoták
Published in:
CoRR (2019)
Keyphrases
</>
neural network
artificial intelligence
metadata
digital libraries
expert systems
sensor networks
shortest path
optimal path
path finding
multiple paths