Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
1
Right-divisibility in semi-Thue systems reveals new decidability results while exposing the limits of extending these findings to more complex equational theories.