Initially-Restricting Algebraic Theories.

Published in: MFCS (1980)

Keyphrases

information systems
theoretical framework
image processing
digital libraries
higher order
computational models
intelligent design
database
real time
artificial intelligence
metadata
data structure
design theory