External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Succinct Population Protocols for Presburger Arithmetic

Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax. Succinct Population Protocols for Presburger Arithmetic. In Christophe Paul, Markus Bläser, editors, 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, March 10-13, 2020, Montpellier, France. Volume 154 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Authors

Michael Blondin

This author has not been identified. Look up 'Michael Blondin' in Google

Javier Esparza

This author has not been identified. Look up 'Javier Esparza' in Google

Blaise Genest

This author has not been identified. Look up 'Blaise Genest' in Google

Martin Helfrich

This author has not been identified. Look up 'Martin Helfrich' in Google

Stefan Jaax

This author has not been identified. Look up 'Stefan Jaax' in Google
runs on