Login / Signup

Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods.

Pierangelo MiglioliUgo MoscatoMario Ornaghi
Published in: J. Symb. Comput. (1994)
Keyphrases
  • database
  • abstract data types
  • artificial intelligence
  • preprocessing
  • data types
  • management system
  • functional dependencies
  • incomplete information
  • algebraic operations