دانلود کتاب Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India December 21–23, 1988 Proceedings

فهرست مطالب :

Planar point location revisited (A guided tour of a decade of research)....Pages 1-17
Computing a viewpoint of a set of points inside a polygon....Pages 18-29
Analysis of preflow push algorithms for maximum network flow....Pages 30-48
A new linear algorithm for the two path problem on chordal graphs....Pages 49-66
Extending planar graph algorithms to K 3,3 -free graphs....Pages 67-79
Constant-space string-matching....Pages 80-87
Inherent nonslicibility of rectangular duals in VLSI floorplanning....Pages 88-107
Path planning with local information....Pages 108-121
Linear broadcast routing....Pages 122-122
Predicting deadlock in store-and-forward networks....Pages 123-142
On parallel sorting and addition with concurrent writes....Pages 143-153
An optimal parallel algorithm for sorting presorted files....Pages 154-160
Superlinear speedup in parallel state-space search....Pages 161-174
Circuit definitions of nondeterministic complexity classes....Pages 175-192
Non-uniform proof systems: A new framework to describe non-uniform and probabilistic complexity classes....Pages 193-210
Padding, commitment and self-reducibility....Pages 211-224
The complexity of a counting finite-state automaton....Pages 225-239
A hierarchy theorem for pram-based complexity classes....Pages 240-249
A natural deduction treatment of operational semantics....Pages 250-269
Uniformly applicative structures, a theory of computability and polyadic functions....Pages 270-285
A proof technique for register atomicity....Pages 286-303
Relation level semantics....Pages 304-328
A constructive set theory for program development....Pages 329-347
McCarthy's amb cannot implement fair merge....Pages 348-363
GHC — A language for a new age of parallel programming....Pages 364-376
Accumulators: New logic variable abstractions for functional languages....Pages 377-399
A resolution rule for well-formed formulae....Pages 400-418
Algebraic and operational semantics of positive/negative conditional algebraic specifications....Pages 419-434
Semi-unification....Pages 435-454
A method to check knowledge base consistency....Pages 455-468
Knowledgebases as structured theories....Pages 469-486
On functional independencies....Pages 487-508
A generic algorithm for transaction processing during network partitioning....Pages 509-519