Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.206, Iss.1, 1998-10, pp. : 127-162
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
A polynomial algorithm testing partial confluence of basic semi-Thue systems
Theoretical Computer Science, Vol. 192, Iss. 1, 1998-02 ,pp. :
Access to resources
Recommend
Transformations and confluence for rewrite systems
By Verma R.M.
Theoretical Computer Science, Vol. 152, Iss. 2, 1995-12 ,pp. :
Higher-order rewrite systems and their confluence
Theoretical Computer Science, Vol. 192, Iss. 1, 1998-02 ,pp. :
Automata and processes on multisets of communicating objects
By Yang Linmin
Natural Computing, Vol. 9, Iss. 4, 2010-12 ,pp. :