research
Left-linear Bounded TRSs are Inverse Recognizability Preserving
- Publication date
- 1 January 2011
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 22nd International Conference on Rewriting Techniques and Applications (RTA\u2711)