221 followers
Identifiers in Registers - Describing Network Algorithms with Logic https://t.co/6O23pFkxiD
Identifiers in Registers - Describing Network Algorithms with Logic https://t.co/6O23pFkxiD
Identifiers in Registers - Describing Network Algorithms with Logic. https://t.co/IRqijILHEF
"Identifiers in Registers - Describing Network Algorithms with Logic. (arXiv:1811.08197v1 [cs.FL])" #arXiv https://t.co/Ne3VOX1dBT