Author: Tan Bo Wen Zhi-Ying
Publisher: Edp Sciences
E-ISSN: 1290-385x|42|4|747-762
ISSN: 0988-3754
Source: RAIRO - Theoretical Informatics and Applications, Vol.42, Iss.4, 2010-03, pp. : 747-762
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. :