Journal of Computer and System Sciences （JCSS） - Volume 62, Issue 1 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 62, Issue 1 |
| 发布时间： February 2001 |
| 卷期年份： 2001 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/62/issue/1 |
本期论文列表
Full Intersection Types and Topologies in Lambda Calculus
Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases
Belief Revision and Update: Complexity of Model Checking
A Process-Calculus Analysis of Concurrent Operations on B-Trees
Agnostic Learning of Geometric Patterns
On the Benefit of Supporting Virtual Channels in Wormhole Routers
Robust Learning Is Rich
Papers to Appear in Forthcoming Issues