ENGLISH

Fork Algebras in Algebra, Logic and Computer Science

By Marcelo Fabian Frias

Book information

Publisher
World Scientific
Year
2002
ISBN
9789810248765, 9810248768, 9789812777928
LCC
QA76.9.M35
Language
english
Format
PDF
Filesize
6 MB (6780533 bytes)
Series
Advances in Logic 2
Pages
230\230
Topic
Mathematics Algebra
Orientation
portrait
Paginated
yes
Scanned
yes
Time added
2009-08-06 05:14:26
Математика;Общая алгебра

Description

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 work 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 are foreseen, and the work covers all the essentials in order to provide the reader with a better understanding.

Similar books