Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras.

Walter Guttmann

Published in: RAMiCS (2020)

Keyphrases

databases
information systems
pairwise
user defined
initial set
database
neural network
multi agent
spatial reasoning