![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
International Journal of Modelling, Identification and Control, Vol. 9, Iss. 1-2, 2010-04 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A PSPACE-complete fragment of second-order linear logic
By Perrier G.
Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. :