Login / Signup
On Register Linearizability and Termination.
Vassos Hadzilacos
Xing Hu
Sam Toueg
Published in:
CoRR (2021)
Keyphrases
</>
rewrite systems
term rewriting
database
data mining
natural language
active rules
data sets
artificial intelligence
information systems
multi agent systems
object recognition
multiresolution
image registration