Login / Signup
Formalization of Concurrent Revisions.
Roy Overbeek
Published in:
Arch. Formal Proofs (2018)
Keyphrases
</>
formal model
knowledge representation
databases
mutual exclusion
real time
high level
neural network
information retrieval
artificial intelligence
computer vision
clustering algorithm
search algorithm
mobile robot
concurrent programming