Fork Algebras in Algebra, Logic and Computer Science
Fork 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.