22. FOCS 1981:
Nashville, Tennessee, USA
22nd Annual Symposium on Foundations of Computer Science, Nashville, Tennessee, USA, 28-30 October 1981.
IEEE Computer Society 1981
Session 1a
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 1b
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Michael C. Loui :
Simulations among Multidimensional Turing Machines (Preliminary Version).
58-67
export record as
dblp key:
export record as
dblp key:
Session 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Joseph JáJá :
Computation of Algebraic Functions with Root Extractions.
95-100
export record as
dblp key:
Norbert Blum :
An Omega(n^4/3) Lower Bound on the Monotone Network Complexity of n-th Degree Convolution.
101-108
export record as
dblp key:
Maria M. Klawe :
Non-Existence of One-Dimensional Expanding Graphs.
109-114
export record as
dblp key:
export record as
dblp key:
Z. Aviad ,
E. Shamir :
A Direct Dynamic Solution to Range Search and Related Problems for Product Regions.
123-126
export record as
dblp key:
Jeffrey Scott Vitter :
Deletion Algorithms for Hashing that Preserve Randomness (detailed abstract).
127-132
export record as
dblp key:
Greg N. Frederickson :
Implicit Data Structures for the Weighted Dictionary Problem (preliminary version).
133-139
Session 3a
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Danny Dolev :
Unanimity in an Unknown and Unreliable Environment.
159-168
export record as
dblp key:
James E. Burns :
Symmetry in Systems of Asynchronous Processes.
169-174
Session 3b
export record as
dblp key:
Ravi Sethi :
A model of concurrent database transactions (summary).
175-184
export record as
dblp key:
export record as
dblp key:
Moshe Y. Vardi :
Global Decision Problems for Relational Databases.
198-202
export record as
dblp key:
Session 4
export record as
dblp key:
export record as
dblp key:
Udi Manber ,
Martin Tompa :
The Effect of Number of Hamiltonian Paths on the Complexity of a Vertex-Coloring Problem.
220-227
export record as
dblp key:
export record as
dblp key:
Ravi Kannan :
Towards Separating Nondeterministic Time from Deterministic Time.
235-243
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 5
export record as
dblp key:
Richard Statman :
Number Theoretic Functions Computable by Polymorphic Programs (Extended Abstract).
279-282
export record as
dblp key:
Carl H. Smith :
The Power of Parallelism for Automatic Program Synthesis.
283-295
export record as
dblp key:
Péter Gács :
On the Relation between Descriptional Complexity and Algorithmic Probability.
296-303
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jerzy Tiuryn :
Unbounded Program Memory Adds to the Expressive Power of First-Order Dynamic Logic (Extended Abstract).
335-339
export record as
dblp key:
Session 6
export record as
dblp key:
export record as
dblp key:
conf/focs/PapadimitriouY81
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Nimrod Megiddo :
Applying Parallel Computation Algorithms in the Design of Serial Algorithms.
399-408
export record as
dblp key:
Late Paper
export record as
dblp key: