Login / Signup

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

Géraud Sénizergues
Published in: Theor. Comput. Sci. (1998)
Keyphrases