Author : Marcelo Fabián Frias
Publisher : World Scientific
ISBN 13 : 9814489271
Total Pages : 232 pages
Book Rating : 4.8/5 (144 download)
Book Synopsis Fork Algebras in Algebra, Logic and Computer Science by : Marcelo Fabián Frias
Download or read book Fork Algebras in Algebra, Logic and Computer Science written by Marcelo Fabián Frias and published by World Scientific. This book was released on 2002-07-30 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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. Contents:Introduction and MotivationsAlgebras of Binary Relations and Relation AlgebrasProper and Abstract Fork AlgebrasRepresentability and IndependenceInterpretability of Classical First-Order LogicAlgebraization of Non-Classical LogicsA Calculus for Program Construction Readership: Graduate students and researchers using relational methods in computer science. Keywords:Reviews:“This book is well organized and written … It is a valuable contribution to the field of relational methods in computer science and should be of interest for students and researchers both in algebraic logic and computer science.”Mathematics Abstracts