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 171,issue 2
Menu
Approximating Unweighted Connectivity Problems in Parallel
Information and Computation,volume 171,issue 2 , Vol. 171, Iss. 2, 2001-12 , pp.A Characterization of Weakly Church–Rosser Abstract Reduction Systems That Are Not Church–Rosser
By Intrigila B.,Salvo I.,Sorgi S. in (2001)
Information and Computation,volume 171,issue 2 , Vol. 171, Iss. 2, 2001-12 , pp.Real-Time Properties of Indirect Recursive Procedures
Information and Computation,volume 171,issue 2 , Vol. 171, Iss. 2, 2001-12 , pp.Clausal Logic and Logic Programming in Algebraic Domains
By Rounds W.C.,Zhang G-Q. in (2001)
Information and Computation,volume 171,issue 2 , Vol. 171, Iss. 2, 2001-12 , pp.Complexity Theory and Genetics: The Computational Power of Crossing Over
Information and Computation,volume 171,issue 2 , Vol. 171, Iss. 2, 2001-12 , pp.Optimal Robot Localization in Trees
By Fleischer R.,Romanik K.,Schuierer S.,Trippen G. in (2001)
Information and Computation,volume 171,issue 2 , Vol. 171, Iss. 2, 2001-12 , pp.Distributed Probabilistic Polling and Applications to Proportionate Agreement
By Hassin Y.,Peleg D. in (2001)
Information and Computation,volume 171,issue 2 , Vol. 171, Iss. 2, 2001-12 , pp.Rationality in Algebras with a Series Operation
By Lodaya K.,Weil P. in (2001)
Information and Computation,volume 171,issue 2 , Vol. 171, Iss. 2, 2001-12 , pp.Online Variable Sized Covering
Information and Computation,volume 171,issue 2 , Vol. 171, Iss. 2, 2001-12 , pp.An Infinite Hierarchy of Temporal Logics over Branching Time
By Rabinovich A.,Maoz S. in (2001)
Information and Computation,volume 171,issue 2 , Vol. 171, Iss. 2, 2001-12 , pp.