Jaax, Stefan

1. Succinct Population Protocols for Presburger Arithmetic
   2019/10/10 by Blondin, Michael, Esparza, Javier, Genest, Blaise +2 · 1 citation
   #Computational Complexity (cs.CC) #Distributed #F.1.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA) #Parallel #and Cluster Computing (cs.DC)