Bob

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

Annotatsiya

Annotatsiya mavjud emas.

Identifikatorlar

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

Iqtiboslar va manbalar

7 ta iqtibos0 ta foydalanilgan manba

Koʻrsatkichlar — AkademScholar