Login / Signup

Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types.

Pierangelo MiglioliUgo MoscatoMario Ornaghi
Published in: TAPSOFT, Vol.1 (1989)
Keyphrases
  • abstract data types
  • management system
  • distributed systems
  • data types
  • data abstraction
  • database
  • image sequences
  • query processing
  • data model
  • object oriented
  • similarity search
  • database design