This is a preview. Log in through your library . Abstract Fraenkel-Mostowski set theory represents an alternative set theory with multiple applications in mathematics and computer science. It deals ...
A fork algebra is a relational algebra enriched with a new binary operation, called fork. Such algebras have been introduced because their equational calculus has applications in program construction.
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback