Боб

Existential quantifiers in abstract data types

Manfred BroyInstitut für Informatik, Technische Universität München, Postfach 20 24 20, D-8000, München 2Walter DoschInstitut für Informatik, Technische Universität München, Postfach 20 24 20, D-8000, München 2H. PartschInstitut für Informatik, Technische Universität München, Postfach 20 24 20, D-8000, München 2Peter PepperInstitut für Informatik, Technische Universität München, Postfach 20 24 20, D-8000, München 2Martin WirsingInstitut für Informatik, Technische Universität München, Postfach 20 24 20, D-8000, München 2

1979en

ABI

Аннотация

Аннотация мавжуд эмас.

Идентификаторлар

DOI: 10.1007/3-540-09510-1_7

Иқтибослар ва манбалар

7 та иқтибос0 та фойдаланилган манба

Кўрсаткичлар — AkademScholar