Fork Algebras in Algebra, Logic and Computer Science.
Marcelo F. FriasGabriel BaumArmando Martin HaebererPublished in: Fundam. Informaticae (1997)
Keyphrases
- relation algebra
- computer science
- boolean algebra
- distributive lattices
- expressive power
- formal logic
- set theory
- lecture notes
- artificial intelligence
- algebraic structure
- modal logic
- computer scientists
- social sciences
- logic programming
- researchers and practitioners
- theorem prover
- data model
- interval algebra
- machine learning
- data mining
- relational databases
- multi valued
- partial order
- mathematical theory
- cardinality constraints
- query language
- applied mathematics
- logic programs
- rough sets
- selected papers
- graduate students
- first order logic