Fork Algebras in Algebra, Logic and Computer Science

Fork Algebras in Algebra, Logic and Computer Science

by Marcelo Fabian Frias
     
 

ISBN-10: 9810248768

ISBN-13: 9789810248765

Pub. Date: 07/28/2002

Publisher: World Scientific Publishing Company, Incorporated

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

Overview

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. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding.

Product Details

ISBN-13:
9789810248765
Publisher:
World Scientific Publishing Company, Incorporated
Publication date:
07/28/2002
Series:
Advances in Logic Series
Pages:
232
Product dimensions:
6.30(w) x 9.10(h) x 0.80(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >