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.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results