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 164,issue 2
Menu
By Alur R.,Henzinger T.A. in (2001)
Information and Computation,volume 164,issue 2 , Vol. 164, Iss. 2, 2001-01 , pp.
Access to resources
Recommend
Pushdown Processes: Games and Model-Checking
Information and Computation,volume 164,issue 2 , Vol. 164, Iss. 2, 2001-01 , pp.A Partition Refinement Algorithm for the
By Pistore M.,Sangiorgi D. in (2001)
Information and Computation,volume 164,issue 2 , Vol. 164, Iss. 2, 2001-01 , pp.By Kupferman O.,Vardi M.Y.,Wolper P. in (2001)
Information and Computation,volume 164,issue 2 , Vol. 164, Iss. 2, 2001-01 , pp.A Sequent Calculus for Subtyping Polymorphic Types
Information and Computation,volume 164,issue 2 , Vol. 164, Iss. 2, 2001-01 , pp.Papers to Appear in Forthcoming Issues
Information and Computation,volume 164,issue 2 , Vol. 164, Iss. 2, 2001-01 , pp.