## Fork Algebras in Algebra, Logic and Computer ScienceFork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction |

### What people are saying - Write a review

We haven't found any reviews in the usual places.