On Register Linearizability and Termination.

Vassos Hadzilacos Xing Hu Sam Toueg

Published in: PODC (2021)

Keyphrases

information retrieval
term rewriting
databases
rewrite systems
data sets
neural network
real world
feature extraction
multiscale
data structure
object recognition
wireless sensor networks
end users
first order logic
active rules
termination analysis