TY - BOOK AU - Dolev D ED - Isreal Symposium on the Theory of Computing and Systems(1992 : Haifa ) ED - Isreal Symposium on the Theory of Computing and Systems TI - Theory of computing and systems : proceedings U1 - 4 PY - 1992/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Theory of computing ER -