
Fork Algebras In Algebra, Logic And Computer Science
Marcelo Fabian Frias(Author)
World Scientific Publishing Co Pte Ltd
Will be published approx. on 1. August 2002
Book
Hardback
232 pages
978-981-02-4876-5 (ISBN)
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 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.
More details
Series
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
Product notice
sewn/stitched
Cloth over boards
Dimensions
Height: 238 mm
Width: 163 mm
Thickness: 19 mm
Weight
449 gr
ISBN-13
978-981-02-4876-5 (9789810248765)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
Content
Contents: Introduction and Motivations; Algebras of Binary Relations and Relation Algebras; Proper and Abstract Fork Algebras; Representability and Independence; Interpretability of Classical First-Order Logic; Algebraization of Non-Classical Logics; A Calculus for Program Construction.