Result: Redundancy in distributed proofs

Title:

Involved:

Corporation:

Published:

Freiburg : Universität, 2022

Scope:

1 Online-Ressource

Resource Type:

eBook

Language:

English

Notes:

32nd International Symposium on Distributed Computing (DISC 2018). - Wadern, 2018. - 24:1-24:18, ISBN: 978-3-95977-092-7

DOI:

10.4230/LIPIcs.DISC.2018.24

Additional information