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 constructionFrias, M. is the author of 'Fork Algebras in Algebra, Logic and Computer Science' with ISBN 9789810248765 and ISBN 9810248768.