Theory of Computing and Systems: ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992

Front Cover
Springer-Verlag, 1992 - Computers - 220 pages
"ISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. The enthusiasm that the symposium created resulted in the submission of a large number of extremely high quality papers, which led in turn to strict acceptance criteria. This volume contains nineteen selected papers representing the cream of Israeli talent in the field, on a variety of active and interesting topics in the theory of computing and systems."--PUBLISHER'S WEBSITE.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Merging and Splitting Priority Queues and Deques in Parallel
1
On Boolean Decision Trees with Faulty Nodes
24
Higher Order Functions in First Order Theory
43
Copyright

5 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information