Login / Signup
Constructive expressive power of population protocols.
Mikhail A. Raskin
Published in:
CoRR (2020)
Keyphrases
</>
expressive power
first order logic
data complexity
query language
relational algebra
transitive closure
computational properties
constraint query languages
data mining
recursive queries