Period of time： 2003年1期
Publisher： Academic Press
Founded in： 1967
Total resources： 17
ISSN： 0022-0000
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.
Journal of Computer and System Sciences,volume 62,issue 1
Menu
Full Intersection Types and Topologies in Lambda Calculus
Journal of Computer and System Sciences,volume 62,issue 1 , Vol. 62, Iss. 1, 2001-02 , pp.
Access to resources
Recommend
Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases
By Giannotti F.,Pedreschi D.,Zaniolo C. in (2001)
Journal of Computer and System Sciences,volume 62,issue 1 , Vol. 62, Iss. 1, 2001-02 , pp.Belief Revision and Update: Complexity of Model Checking
By Liberatore P.,Schaerf M. in (2001)
Journal of Computer and System Sciences,volume 62,issue 1 , Vol. 62, Iss. 1, 2001-02 , pp.A Process-Calculus Analysis of Concurrent Operations on B-Trees
By Philippou A.,Walker D. in (2001)
Journal of Computer and System Sciences,volume 62,issue 1 , Vol. 62, Iss. 1, 2001-02 , pp.Agnostic Learning of Geometric Patterns
By Goldman S.A.,Kwek S.S.,Scott S.D. in (2001)
Journal of Computer and System Sciences,volume 62,issue 1 , Vol. 62, Iss. 1, 2001-02 , pp.On the Benefit of Supporting Virtual Channels in Wormhole Routers
By Cole R.J.,Maggs B.M.,Sitaraman R.K. in (2001)
Journal of Computer and System Sciences,volume 62,issue 1 , Vol. 62, Iss. 1, 2001-02 , pp.By Jain S.,Smith C.,Wiehagen R. in (2001)
Journal of Computer and System Sciences,volume 62,issue 1 , Vol. 62, Iss. 1, 2001-02 , pp.Papers to Appear in Forthcoming Issues
Journal of Computer and System Sciences,volume 62,issue 1 , Vol. 62, Iss. 1, 2001-02 , pp.