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
Abstract
No abstract available.
Identifiers
Citations and references
Cited by 70 references