- More decidable instances of Post's correspondence problem: beyond counting Mirko Rahn Sat 05 October 2013
- Decision Problems for Semi-Thue Systems with a Few Rules Yuri Matiyasevich Geraud Senizergues Sat 05 October 2013
- The Post correspondence problem over a unary alphabet P. Rudnicki G.J. Woeginger Sat 05 October 2013
- Recursive Unsolvability of a Problem of Thue Emil L. Post Sun 30 December 2012
- A variant of a recursively unsolvable problem Emil L. Post Sun 30 December 2012
- Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems Pierre Chambart Philippe Schnoebelen Tue 20 March 2012
Library Size: 13G (6 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
