Period of time: 2004年2期
Publisher: Academic Press
Founded in: 1957
Total resources: 79
ISSN: 0890-5401
Subject: O Mathematical Sciences and Chemical
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Information and Computation,volume 147,issue 2
Menu
The Generating Power of Total Deterministic Tree Transducers
Information and Computation,volume 147,issue 2 , Vol. 147, Iss. 2, 1998-12 , pp.Positive Versions of Polynomial Time
By Lautemann C.,Schwentick T.,Stewart I.A. in (1998)
Information and Computation,volume 147,issue 2 , Vol. 147, Iss. 2, 1998-12 , pp.On the Modelling of Search in Theorem Proving— Towards a Theory of Strategy Analysis
By Bonacina M.P.,Hsiang J. in (1998)
Information and Computation,volume 147,issue 2 , Vol. 147, Iss. 2, 1998-12 , pp.The Combinatorics of Effective Resistances and Resistive Inverses
Information and Computation,volume 147,issue 2 , Vol. 147, Iss. 2, 1998-12 , pp.