Author: Baturin V. Maltugueva N.
Publisher: MAIK Nauka/Interperiodica
ISSN: 0005-1179
Source: Automation and Remote Control, Vol.72, Iss.4, 2011-04, pp. : 808-817
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
Monadic second-order logic on tree-like structures
Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. :