×

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).

MSC:

68P05 Data structures

Citations:

Zbl 0401.00015