Axiomatic Data Type Specifications: A First Order Theory of Linear Lists.
Daniel J. MooreBruce RussellPublished in: Acta Informatica (1981)
Keyphrases
- data types
- data structure
- user defined
- data model
- database systems
- database management systems
- abstract data types
- first order logic
- database
- feature selection
- high level
- set theory
- formal descriptions
- object types
- data formats
- database objects
- decision theory
- general purpose
- image processing
- knowledge base
- databases
- data sets