Search papers, labs, and topics across Lattice.
LISN — CNRS & Paris-Saclay University
1
0
1
13
Bounding local computation by graph size can sometimes decide languages that are undecidable even with unbounded computation, a surprising twist in distributed decision making.