Items related to Fork Algebras in Algebra, Logic and Computer Science

Fork Algebras in Algebra, Logic and Computer Science - Hardcover

Frias, Marcelo Fabian

 
9789810248765: Fork Algebras in Algebra, Logic and Computer Science
Hardcover
ISBN 10: 9810248768 ISBN 13: 9789810248765
Publisher: World Scientific Publishing Company, 2002

Synopsis

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.

"synopsis" may belong to another edition of this title.

Review

A valuable contribution to the field of relational methods in computer science -- Mathematics Abstracts

"About this title" may belong to another edition of this title.

Publisher
World Scientific Publishing Company
Publication date
2002
Language
English
ISBN 10 
9810248768
ISBN 13 
9789810248765
Binding
Hardcover
Edition number
1
Number of pages
232