About these proceedings
This volume is the proceedings of the fifth International Symposium on Algorithms and Computation, ISAAC '94, held in Beijing, China in August 1994.
The 79 papers accepted for inclusion in the volume after a careful reviewing process were selected from a total of almost 200 submissions. Besides many internationally renowned experts, a number of excellent Chinese researchers present their results to the international scientific community for the first time here. The volume covers all relevant theoretical and many applicational aspects of algorithms and computation.
Boolean function Computation Erfüllbarkeitsproblem der Aussagenlogik Public Key algorithms automata calculus combinatorics communication complexity computational geometry geometry learning programming sets