A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems

GĂ©raud SĂ©nizergues. A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems. Theoretical Computer Science, 192(1):55-75, 1998. [doi]

Abstract

Abstract is missing.