Period of time： 2004年1期
Publisher： Elsevier
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 188,issue 1
Menu
DP lower bounds for equivalence-checking and model-checking of one-counter automata
By Jancar P., Kucera A., Moller F., Sawa Z. in (2004)
Information and Computation,volume 188,issue 1 , Vol. 188, Iss. 1, 2004-01 , pp.
Access to resources
Recommend
Parallel two dimensional witness computation
By Cole R., Galil Z., Hariharan R., Muthukrishnan S., Park K. in (2004)
Information and Computation,volume 188,issue 1 , Vol. 188, Iss. 1, 2004-01 , pp.De Bakker-Zucker processes revisited
Information and Computation,volume 188,issue 1 , Vol. 188, Iss. 1, 2004-01 , pp.Generalization of ZYT-linearizability for bilinear datalog programs
By Kang J.-H., Hong K.-H., Whang K.-Y., Cho J.-W. in (2004)
Information and Computation,volume 188,issue 1 , Vol. 188, Iss. 1, 2004-01 , pp.Efficient algorithms for learning functions with bounded variation
Information and Computation,volume 188,issue 1 , Vol. 188, Iss. 1, 2004-01 , pp.Bi-immunity separates strong NP-completeness notions
By Pavan A., Selman A.L. in (2004)
Information and Computation,volume 188,issue 1 , Vol. 188, Iss. 1, 2004-01 , pp.Counting extensional differences in BC-learning
By Jain S., Stephan F., Terwijn S.A. in (2004)
Information and Computation,volume 188,issue 1 , Vol. 188, Iss. 1, 2004-01 , pp.