← back to paper
arxiv: 2608.03274 · 2 revisions
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction