1 |
Succinct Population Protocols for Presburger Arithmetic
|
|
|
|
In: STACS 2020 - 37th International Symposium on Theoretical Aspects of Computer Science ; https://hal.archives-ouvertes.fr/hal-03065533 ; STACS 2020 - 37th International Symposium on Theoretical Aspects of Computer Science, Mar 2020, Montpellier, France. pp.1-15, ⟨10.4230/LIPIcs.STACS.2020.40⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
|