TY  - RPRT
TI  - The distributed complexity of locally checkable problems on paths is decidable
AU  - Alkida Balliu
AU  - Sebastian Brandt
AU  - Yi-Jun Chang
AU  - Dennis Olivetti
AU  - Mikaël Rabie
AU  - Jukka Suomela
PY  - 2019
UR  - https://arxiv.org/abs/1811.01672
ID  - 1811.01672
ER  -