Fork Algebras in Algebra, Logic and Computer Science

Front Cover
World Scientific, Jan 1, 2002 - Computers - 217 pages
0 Reviews
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.

References to this book

Proceedings

Snippet view - 1998
All Book Search results »

Bibliographic information