## Theory of Computing and Systems: ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992"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. |

### 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

abstraction algebra algorithm application approximation approximation algorithm assume asymptotical optimal atomic snapshot b.tmax BCTSS bounded concurrent broadcasting cache complexity Computer Science concurrent timestamping constructive corresponding CTSS deap defined Definition denote detection disjoint distributed edges elements evaluation factorization finite graph G Harrop formulae higher order functions idempotents implementation input integer interval graph Lemma linear linearizable log ib logn lower bound MAKELABEL maxterm merging merging algorithm min-max min-max heap minterm nodes NP-complete NSDE O(logn optimal output parallel parallel computation pennant forest polynomial predicate probability problem processors program items proof queries RAM model randomized consensus recursive restricted result RN model scheme semantics sequence sequential solution solving step strongly stable subset symmetric Toeplitz Theorem theory timestamping system Toeplitz solvers Toeplitz systems total order tree twin-heaps type theories UCTSS Update variables vector vertex vertices weak snapshot scan