Broy, M.; Dosch, W.; Partsch, H.; Pepper, P.; Wirsing, M. Existential quantifiers in abstract data types. (English) Zbl 0404.68026 Automata, languages and programming, 6th Colloq., Graz 1979, Lect. Notes Comput. Sci. 71, 73-87 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 13 Documents MSC: 68P05 Data structures Keywords:Existential Quantifiers in Abstract Data Types Citations:Zbl 0401.00015 × Cite Format Result Cite Review PDF