Publisher: Elsevier
Founded in: 1957
Total resources: 79
E-ISSN: 1090-2651
ISSN: 0890-5401
Subject: TP Automation Technology , Computer Technology
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
Menu
De Bakker-Zucker processes revisited
Information and Computation , 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 , Vol. 188, Iss. 1, 2004-01 , pp.Efficient algorithms for learning functions with bounded variation
Information and Computation , Vol. 188, Iss. 1, 2004-01 , pp.Parallel two dimensional witness computation
By Cole R., Galil Z., Hariharan R., Muthukrishnan S., Park K. in (2004)
Information and Computation , 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 , 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 , Vol. 188, Iss. 1, 2004-01 , pp.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 , Vol. 188, Iss. 1, 2004-01 , pp.Controlling the data space of tree structured computations
By Gottlieb I., Obrenic B. in (2003)
Information and Computation , Vol. 187, Iss. 2, 2003-12 , pp.Future temporal logic needs infinitely many modalities
By Hirshfeld Y., Rabinovich A. in (2003)
Information and Computation , Vol. 187, Iss. 2, 2003-12 , pp.On regular drawn symbolic picture languages
By Costagliola G., Deufemia V., Ferrucci F., Gravino C. in (2003)
Information and Computation , Vol. 187, Iss. 2, 2003-12 , pp.