Author： Gentilini R. Piazza C. Policriti A.
Publisher： Springer Publishing Company
ISSN： 0168-7433
Source： Journal of Automated Reasoning, Vol.31, Iss.1, 2003-09, pp. : 73-103
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
From rewrite rules to bisimulation congruences
By Sewell P.
Theoretical Computer Science, Vol. 274, Iss. 1, 2002-03 ,pp. :
Access to resources
Recommend
Supermodularity in Mean-Partition Problems*
Journal of Global Optimization, Vol. 33, Iss. 3, 2005-11 ,pp. :
Restrictions of graph partition problems. Part I
Theoretical Computer Science, Vol. 148, Iss. 1, 1995-08 ,pp. :