Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
CNRS, INSA Lyon, UCBL, LIRIS, UMR5205, F-69622 Villeurbanne, France
1
0
1
15
Bounding local computation by graph size can sometimes decide languages that are undecidable even with unbounded computation, a surprising twist in distributed decision making.