Provable Computable Functions on Abstract Data Types.

John V. Tucker Stanley S. Wainer Jeffery I. Zucker

Published in: ICALP (1990)

Keyphrases

abstract data types
data types
object oriented databases
data abstraction
programming language
relational database systems
data model
algebraic operations
machine learning
user defined
complex objects
spatial aggregation