%0 Generic
%T Redundancy in Distributed Proofs
%A Feuilloley, Laurent
%A Fraigniaud, Pierre
%A Hirvonen, Juho
%A Paz, Ami
%A Perry, Mor
%A Laurent Feuilloley and Pierre Fraigniaud and Juho Hirvonen and Ami Paz and Mor Perry
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Proof-labeling schemes
%K Distributed graph algorithms
%K Distributed verification
%K Space-time tradeoffs
%K Non-determinism
%D 2018
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation