Fork algebras in algebra, logic and computer science
Auteur :
Frias, Marcelo Fabian
Éditeur :
Frias, Marcelo Fabian
ISBN :
9789810248765
Date de publication :
1 août 2002
Dimensions :
23,0 x 16,3 x 1,9 cm
Poids :
449 g
Langue :
Anglais
Pays d'origine :
Singapour
Fork algebras are a formalism based on the relational calculus with a particular appeal to computer science. 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.