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 125,issue 2
Menu
Access to resources
Recommend
A Theory of Primitive Objects: Untyped and First-Order Systems
By Abadi M.,Cardelli L. in (1996)
Information and Computation,volume 125,issue 2 , Vol. 125, Iss. 2, 1996-03 , pp.A Symmetric Lambda Calculus for Classical Program Extraction
By Barbanera F.,Berardi S. in (1996)
Information and Computation,volume 125,issue 2 , Vol. 125, Iss. 2, 1996-03 , pp.Comparing Syntactic and Semantic Action Refinement
By Goltz U.,Gorrieri R.,Rensink A. in (1996)
Information and Computation,volume 125,issue 2 , Vol. 125, Iss. 2, 1996-03 , pp.Normal Proofs and Their Grammar
By Takahashi M.,Akama Y.,Hirokawa S. in (1996)
Information and Computation,volume 125,issue 2 , Vol. 125, Iss. 2, 1996-03 , pp.Proof Lengths for Equational Completion
By Plaisted D.A.,Sattler-Klein A. in (1996)
Information and Computation,volume 125,issue 2 , Vol. 125, Iss. 2, 1996-03 , pp.