Author： Benhamou Belaïd
Publisher： Springer Publishing Company
ISSN： 0168-7433
Source： Journal of Automated Reasoning, Vol.48, Iss.3, 2012-03, pp. : 391-417
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
Rewriting Logic as a Logical and Semantic Framework
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :
Access to resources
Recommend
Analysis of k-ary n-cubes with dimension-ordered routing
By Sarbazi-Azad H. Khonsari A. Ould-Khaoua M.
Future Generation Computer Systems, Vol. 19, Iss. 4, 2003-05 ,pp. :
Fuzzy
By Kazancı O. Davvaz B. Yamak S.
Neural Computing & Applications, Vol. 19, Iss. 5, 2010-07 ,pp. :