Journal of the ACM （JOLACM） - Issue 148 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 148 |
| 发布时间： |
| 卷期年份： 1991 |
| 卷期官网： |
本期论文列表
Modularity of Cycles and Paths in Graphs.
Space-Bounded Probabilistic Game Automata.
Maintenance of Geometric Extrema.
A Methodology for Hardware Verification Based on Logic Simulation.
A Model-Theoretic Analysis of Knowledge.
On Stability and Performance of Parallel Processing Systems.
Towards an Algebraic Theory of Recursion.
A Lower Bound for Integer Greatest Common Divisor Computations.
Efficient Simulation of Finite Automata by Neural Nets.