Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Proximus Luxembourg S.A., Tata Institute of Fundamental Research, Mumbai
1
0
1
7
Bounding local computation by graph size can sometimes decide languages that are undecidable even with unbounded computation, a surprising twist in distributed decision making.