Period of time： 2004年2期
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 187,issue 2
Menu
By Parnas M., Ron D. in (2003)
Information and Computation,volume 187,issue 2 , Vol. 187, Iss. 2, 2003-12 , pp.
Access to resources
Recommend
Future temporal logic needs infinitely many modalities
By Hirshfeld Y., Rabinovich A. in (2003)
Information and Computation,volume 187,issue 2 , 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,volume 187,issue 2 , Vol. 187, Iss. 2, 2003-12 , pp.Controlling the data space of tree structured computations
By Gottlieb I., Obrenic B. in (2003)
Information and Computation,volume 187,issue 2 , Vol. 187, Iss. 2, 2003-12 , pp.Uniform-distribution attribute noise learnability
By Bshouty N.H., Jackson J.C., Tamon C. in (2003)
Information and Computation,volume 187,issue 2 , Vol. 187, Iss. 2, 2003-12 , pp.Describing parameterized complexity classes
By Flum J., Grohe M. in (2003)
Information and Computation,volume 187,issue 2 , Vol. 187, Iss. 2, 2003-12 , pp.