Proceedings Third Israel Symposium on the Theory of Computing and Systems

摘要

The following topics were dealt with: transaction systems; reconfiguration; routing; oracles; the OR function; game theory; queuing theory; shortest paths; geometric optimization; percentile elements; the electronic global village; data structures; dynamic counting; a snapshot algorithm; formal logic; automata; computational molecular biology; nearby points; theorem proving; total degree tests; statistical reasoning; randomness; prefix sums; job scheduling; parallel algorithms; approximate agreement; connection management protocols; and graph theory.