首页>外文会议>Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing

Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing

召开年：1976
召开地：Hershey, PA(US);Hershey, PA(US)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.The realization of monotone Boolean functions (Preliminary Version)

机译：单调布尔函数的实现（普通版）
- 作者：Nicholas Pippenger
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
2.Associative retrieval trie hash-coding (Extended Abstract)

机译：关联检索特里哈希编码（扩展摘要）
- 作者：Walter A. Burkhard
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
- Upper bounds;
3.Divide-and-conquer in multidimensional space

机译：多维空间中的分而治之
- 作者：Jon Louis Bentley;Michael Ian Shamos
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
4.Location of a point in a planar subdivision and its applications

机译：点在平面细分中的位置及其应用
- 作者：D. T. Lee;F. P. Preparata
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
- Spatial convex inclusion;
5.Simple Godel numberings, translations, and the p-hierarchy (Preliminary Report)

机译：简单的Godel编号，翻译和p层次结构（初步报告）
- 作者：Michael Machtey;Paul Young
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
6.Linear unification

机译：线性统一
- 作者：M. S. Paterson;M. N. Wegman
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
7.Dichotomization, reachability, and the forbidden subgraph problem(Extended Abstract)

机译：二分法，可到达性和禁止的子图问题（扩展摘要）
- 作者：H. B. Hunt;T. G. Szymanski
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
8.On deterministic context-free languages, multihead automata, and the power of an auxiliary pushdown store

机译：关于确定性的上下文无关语言，多头自动机和辅助下推存储的功能
- 作者：I. H. Sudborough
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
9.Space bounds for a game on graphs

机译：图上游戏的空间界限
- 作者：Wolfgang J. Paul;Robert Endre Tarjan;James R. Celoni
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
- Turing machines;
10.Real-time algorithms for string-matching and palindrome recognition

机译：字符串匹配和回文识别的实时算法
- 作者：Zvi Galil
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
11.Evaluation of polynomials with super-preconditioning

机译：用超级预处理评估多项式
- 作者：Richard J. Lipton;Larry J. Stockmeyer
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
12.Complexity of decision problems based on finite two-person perfect-information games

机译：基于有限两人完美信息博弈的决策问题的复杂性
- 作者：Thomas J. Schaefer
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
13.Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report)

机译：Petri网和交换半群的指数空间完全问题（初步报告）
- 作者：E. Cardoza;R. Lipton;A. R. Meyer
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
14.Parallel algorithms for the transitive closure and the connected component problems

机译：传递闭包和连接组件问题的并行算法
- 作者：D. S. Hirschberg
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
15.Sorting on a mesh-connected parallel computer

机译：在连接网格的并行计算机上排序
- 作者：C. D. Thompson;H. T. Kung
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
16.On abstractions of parallel programs

机译：关于并行程序的抽象
- 作者：Thomas W. Doeppner
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
17.A consistent and complete deductive system for the verification of parallel programs

机译：一个一致而完整的演绎系统，用于并行程序的验证
- 作者：Susan Owicki
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
18.A new incompleteness result for Hoare's system

机译：Hoare系统的新不完备结果
- 作者：Mitchell Wand
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
19.An algebraic system for process structuring and interprocess communication

机译：用于流程构建和进程间通信的代数系统
- 作者：Takayuki Kimura
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
20.On structuring flowcharts (Preliminary Version)

机译：关于结构流程图（初级版）
- 作者：S. Rao Kosaraju
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
21.A useful device for showing the solvability of some decision problems

机译：用于显示某些决策问题可解性的有用设备
- 作者：Oscar H. Ibarra;Chul E. Kim
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
22.On line context free language recognition in less than cubic time(Extended Abstract)

机译：少于立方时间的在线上下文无关语言识别（扩展摘要）
- 作者：Susan L. Graham;Michael A. Harrison;Walter L. Ruzzo
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
23.Finding the depth of a flow graph

机译：查找流程图的深度
- 作者：Amelia C. Fong;Jeffrey D. Ullman
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
24.The analysis of double hashing(Extended Abstract)

机译：双重哈希分析（扩展摘要）
- 作者：Leo J. Guibas;Endre Szemeredi
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
25.On the average behavior of set merging algorithms (Extended Abstract)

机译：关于集合合并算法的平均行为（扩展摘要）
- 作者：Andrew Chi-chih Yao
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
26.Universal circuits (Preliminary Report)

机译：通用电路（初步报告）
- 作者：Leslie G. Valiant
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
27.Some complexity results for the Traveling Salesman Problem

机译：旅行商问题的一些复杂性结果
- 作者：Christos H. Papadimitriou;Kenneth Steiglitz
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
28.Some NP-complete geometric problems

机译：一些NP完全几何问题
- 作者：M. R. Garey;R. L. Graham;D. S. Johnson
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
29.On isomorphisms and density of NP and other complete sets

机译：关于NP和其他成套的同构和密度
- 作者：J. Hartmanis;L. Berman
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年
30.NP-complete decision problems for quadratic polynomials

机译：二次多项式的NP完全决策问题
- 作者：Kenneth Manders;Leonard Adleman
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1976年