Author： Courcelle Bruno Gavoille Cyril Kanté Mamadou
Publisher： Springer Publishing Company
ISSN： 1382-6905
Source： Journal of Combinatorial Optimization, Vol.21, Iss.1, 2011-01, pp. : 19-46
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
Pushdown Processes: Games and Model-Checking
Information and Computation, Vol. 164, Iss. 2, 2001-01 ,pp. :
Access to resources
Recommend
Anisotropic interactions in a first-order aggregation model
By Evers Joep H M Fetecau Razvan C Ryzhik Lenya
Nonlinearity, Vol. 28, Iss. 8, 2015-08 ,pp. :
A Constant-Space Sequential Model of Computation for First-Order Logic
By Lindell S.
Information and Computation, Vol. 143, Iss. 2, 1998-06 ,pp. :