Глава

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