Algebraic Theory of Module Specification with Constraints.
Hartmut EhrigWerner FeyFrancesco Parisi-PresicceEdward K. BlumPublished in: MFCS (1986)
Keyphrases
- information retrieval
- databases
- computer algebra
- mathematical theory
- theoretical framework
- constraint satisfaction
- algebraic geometry
- theoretical basis
- theoretical foundation
- information theory
- constrained optimization
- belief functions
- formal methods
- specification language
- co occurrence
- set theoretic
- constraint language
- provably correct
- formal languages
- information systems
- interval arithmetic
- data sets