Period of time： 2004年1期
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 158,issue 1
Menu
Decidability of Bisimilarity for One-Counter Processes
Information and Computation,volume 158,issue 1 , Vol. 158, Iss. 1, 2000-04 , pp.
Access to resources
Recommend
Parallel Preprocessing for Path Queries without Concurrent Reading
Information and Computation,volume 158,issue 1 , Vol. 158, Iss. 1, 2000-04 , pp.Tally NP Sets and Easy Census Functions
By Goldsmith J.,Ogihara M.,Rothe J. in (2000)
Information and Computation,volume 158,issue 1 , Vol. 158, Iss. 1, 2000-04 , pp.A Randomized Algorithm for Two Servers on the Line
By Bartal Y.,Chrobak M.,Larmore L.L. in (2000)
Information and Computation,volume 158,issue 1 , Vol. 158, Iss. 1, 2000-04 , pp.Papers to Appear in Forthcoming Issues
Information and Computation,volume 158,issue 1 , Vol. 158, Iss. 1, 2000-04 , pp.