Login / Signup
Equations Compared with Clauses for Specification of Abstract Data Types.
Maarten H. van Emden
T. S. E. Maibaum
Published in:
Advances in Data Base Theory (1979)
Keyphrases
</>
abstract data types
high level
general purpose
database
data mining
artificial intelligence
data structure
first order logic
relational database systems
data abstraction