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
DJVU
Filesize
2 MB (2157905 bytes)
Series
Advances in Logic 2
Pages
230\230
Topic
Mathematics Logic
Time added
2017-07-29 22:03:32

Description

Gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Covers all the essentials in order to provide the reader with a better understanding.

Similar books