Author： Zakharov Vladimir A.
Publisher： Edp Sciences
E-ISSN： 1290-385x|34|2|157-171
ISSN： 0988-3754
Source： RAIRO - Theoretical Informatics and Applications, Vol.34, Iss.2, 2010-03, pp. : 157-171
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
Decidability of the HD
RAIRO - Theoretical Informatics and Applications, Vol. 47, Iss. 2, 2013-05 ,pp. :
Access to resources
Recommend
By Clark Susan Rutherford Murray Auer Matthew Cherney David Wallace Richard Mattson David Clark Douglas Foote Lee Krogman Naomi Wilshusen Peter Steelman Toddi
Environmental Management, Vol. 47, Iss. 5, 2011-05 ,pp. :
Decidability of code properties
By Fernau Henning Reinhardt Klaus Staiger Ludwig
RAIRO - Theoretical Informatics and Applications, Vol. 41, Iss. 3, 2007-09 ,pp. :
On the decidability of semigroup freeness
By Cassaigne Julien Nicolas Francois
RAIRO - Theoretical Informatics and Applications, Vol. 46, Iss. 3, 2012-08 ,pp. :