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.
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Editorial Reviews
Review
A valuable contribution to the field of relational methods in computer science -- Mathematics Abstracts
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
0 of 6 people found the following review helpful:
1.0 out of 5 stars
Esta bueno ... pero ...,
By charleston (cloud city) - See all my reviews
This review is from: Fork Algebras in Algebra, Logic and Computer Science (Hardcover)
Yo le camviaria cosas. No se. Ustedes sabran. El final es muy opaco y quedan inconclusas muchas ideas. No se si Marselo penso en un final abierto pero ni siquiera eso es claro. Es muy confuso todo. Estoy escribiendo un libro con el y prometo que va a estar bueno. Van a quedar resolbidas muchas cosas que en este libro uno se quedo como que ¿que paso aca?. Bueno loco, despidome. FREEDOM!! Peace out! Charley
Share your thoughts with other customers: Create your own review
|
|
Front Cover | Front Flap | Table of Contents | First Pages | Index | Back Flap | Back Cover | Surprise Me!
Inside This Book
(learn more)
First Sentence:
Fork algebras -the subject of this book- have their origin as the foundation of a framework for software specification, verification and derivation. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
fork algebras, proper fork algebra, relation algebra reduct, relational proof system, fork relations, contiguous sublists, intuitionistic model, constant relation symbols, relation algebras, fork models, relational specification, cylindric algebras, propositional dynamic logic, heredity condition, intermediate logics, relational implication, largest relation, relation designations, accessibility relation, equational theory, modal formula, algebraic logic, intuitionistic logic, binary relations, regarding sequence Key Phrases - Capitalized Phrases (CAPs): (learn more)
Comp Var, Proof Let, Ure Var, Ind Term, Ind Var, End If End, Prop Var, Proof By Thm, Cons Plateau, Proof Assume, Proof Define New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Front Flap | Table of Contents | First Pages | Index | Back Flap | Back Cover | Surprise Me!
Fork algebras -the subject of this book- have their origin as the foundation of a framework for software specification, verification and derivation. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
fork algebras, proper fork algebra, relation algebra reduct, relational proof system, fork relations, contiguous sublists, intuitionistic model, constant relation symbols, relation algebras, fork models, relational specification, cylindric algebras, propositional dynamic logic, heredity condition, intermediate logics, relational implication, largest relation, relation designations, accessibility relation, equational theory, modal formula, algebraic logic, intuitionistic logic, binary relations, regarding sequence Key Phrases - Capitalized Phrases (CAPs): (learn more)
Comp Var, Proof Let, Ure Var, Ind Term, Ind Var, End If End, Prop Var, Proof By Thm, Cons Plateau, Proof Assume, Proof Define New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Front Flap | Table of Contents | First Pages | Index | Back Flap | Back Cover | Surprise Me!
Citations (learn more)
This book cites 17
books:
See all 17 books this book cites
7
books
cite this book:
See all 7 books citing this book
- Cylindric Algebras, Volume I (Studies in Logic and the Foundations of Mathematics) (Pt. 1) by Sahra Sedigh in Back Matter
- A Mathematical Introduction to Logic, Second Edition by Herbert Enderton in Back Matter
- Unified Modeling Language User Guide, The (2nd Edition) by Grady Booch in Back Matter
- Algebraic Logic (AMS Chelsea Publishing) by P.R. Halmos in Back Matter
- Algebraic Logic (Colloquia Mathematica Societatis Janos Bolyai) by H. Andreka in Back Matter
See all 17 books this book cites
- Relational Methods for Computer Science Applications (Studies in Fuzziness and Soft Computing) by Ewa Orlowska on page 57
- Reasoning About Theoretical Entities (Advances in Logic, V. 3) by Thomas Forster in Front Matter
- Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings (Lecture Notes in Computer Science) (v. 1548) by Armando M. Haeberer on page 105
- Relational Methods in Computer Science: 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The ... Papers (Lecture Notes in Computer Science) by Harrie C.M. de Swart on page 74
- Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science) by Jim Davies on page 175
See all 7 books citing this book
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology
- Books > Medical Books
- Books > New & Used Textbooks > Computer Science
- Books > New & Used Textbooks > Medicine & Health Sciences > Medicine > General
- Books > New & Used Textbooks > Science & Mathematics > Mathematics > Algebra & Trigonometry
- Books > Science & Math > Mathematics
