Author: Blizorukova M.
Publisher: MAIK Nauka/Interperiodica
ISSN: 0005-1179
Source: Automation and Remote Control, Vol.71, Iss.5, 2010-05, pp. : 816-825
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. :