Author： Choon Kyu Kim
Publisher： Taylor & Francis Ltd
ISSN： 0020-7160
Source： International Journal of Computer Mathematics, Vol.81, Iss.9, 2004-09, pp. : 1051-1067
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
Heuristics used by HERBY for semantic tree theorem proving
By Yu Q.
Annals of Mathematics and Artificial Intelligence, Vol. 23, Iss. 3-4, 1998-01 ,pp. :
Access to resources
Recommend
Note on the Pfaffian Matrix-Tree Theorem
By Hirschman Scott Reiner Victor
Graphs and Combinatorics, Vol. 20, Iss. 1, 2004-03 ,pp. :
An interlacing theorem for matrices whose graph is a given tree
By Fonseca C.
Journal of Mathematical Sciences, Vol. 139, Iss. 4, 2006-12 ,pp. :