Period of time: 2004年1期
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 179,issue 1
Menu
The Subtyping Problem for Second-Order Types Is Undecidable
By Tiuryn J.,Urzyczyn P. in (2002)
Information and Computation,volume 179,issue 1 , Vol. 179, Iss. 1, 2002-11 , pp.By Cervesato I.,Pfenning F. in (2002)
Information and Computation,volume 179,issue 1 , Vol. 179, Iss. 1, 2002-11 , pp.A Fully Abstract Model for the π-calculus
By Fiore M.P.,Moggi E.,Sangiorgi D. in (2002)
Information and Computation,volume 179,issue 1 , Vol. 179, Iss. 1, 2002-11 , pp.