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 173,issue 2
Menu
Optimal Series-Parallel Trade-offs for Reducing a Function to Its Own Graph
By Beigel R.,Hemaspaandra L.A.,Hempel H.,Vogel J. in (2002)
Information and Computation,volume 173,issue 2 , Vol. 173, Iss. 2, 2002-03 , pp.
Access to resources
Recommend
Optimal Deterministic Protocols for Mobile Robots on a Grid
By Grossi R.,Pietracaprina A.,Pucci G. in (2002)
Information and Computation,volume 173,issue 2 , Vol. 173, Iss. 2, 2002-03 , pp.On the Complexity of Verifying Concurrent Transition Systems
By Harel D.,Kupferman O.,Vardi M.Y. in (2002)
Information and Computation,volume 173,issue 2 , Vol. 173, Iss. 2, 2002-03 , pp.Computing in Totally Anonymous Asynchronous Shared Memory Systems
By Attiya H.,Gorbach A.,Moran S. in (2002)
Information and Computation,volume 173,issue 2 , Vol. 173, Iss. 2, 2002-03 , pp.Simulation Preorder over Simple Process Algebras
By Kučera A.,Mayr R. in (2002)
Information and Computation,volume 173,issue 2 , Vol. 173, Iss. 2, 2002-03 , pp.Syntactic Type Soundness Results for the Region Calculus
By Calcagno C.,Helsen S.,Thiemann P. in (2002)
Information and Computation,volume 173,issue 2 , Vol. 173, Iss. 2, 2002-03 , pp.Unavoidable Sets of Words of Uniform Length
By Saker C.J.,Higgins P.M. in (2002)
Information and Computation,volume 173,issue 2 , Vol. 173, Iss. 2, 2002-03 , pp.Papers to Appear in Forthcoming Issues
Information and Computation,volume 173,issue 2 , Vol. 173, Iss. 2, 2002-03 , pp.