Toward a Formal Macroset Theory.

Manfred Kudlek Carlos Martín-Vide Gheorghe Paun

Published in: WMP (2000)

Keyphrases

mathematical foundations
mathematical theory
formal methods
formal model
formal models
information retrieval
theoretical framework
databases
database systems
theoretical foundation
information theory
belief functions
general theory
formal languages