Journal of Computer and System Sciences （JCSS） - Volume 32, Issue 3 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 32, Issue 3 |
| 发布时间： June 1986 |
| 卷期年份： 1986 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/32/issue/3 |
本期论文列表
Finding small simple cycle separators for 2-connected planar graphs
Efficient symbolic analysis of programs
A simple undecidable problem: Existential agreement of inverses of two morphisms on a regular language
Conditional rewrite rules: Confluence and termination
Uniform normal form for general time-bounded complexity classes
Effective choice functions and index sets
Domino-tiling games
First-order logic and star-free sets
“Global” graph problems tend to be intractable
Author index for volume 32