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