Author: Wang Guo-Sheng Duan Guang-Ren
Publisher: Inderscience Publishers
ISSN: 1746-6172
Source: International Journal of Modelling, Identification and Control, Vol.3, Iss.2, 2008-07, pp. : 124-130
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
International Journal of Modelling, Identification and Control, Vol. 9, Iss. 1-2, 2010-04 ,pp. :
A PSPACE-complete fragment of second-order linear logic
By Perrier G.
Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. :