Fork Algebras in Algebra, Logic and Comp
โ Marcelo Fabian Frias
๐ Library
๐
2002
๐ World Scientific
๐ English
โฆ LIBER โฆ
๐
Fork Algebras in Algebra, Logic and Computer Science
โ Scribed by Marcelo Fabian Frias
- Year
- 2002
- Tongue
- English
- Leaves
- 232
- Series
- Advances in Logic 2
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Fork Algebras in Algebra, Logic and Comp
โ Marcelo Fabian Frias
๐ Library
๐
2002
๐ World Scientific
๐ English
Fork Algebras in Algebra, Logic and Comp
โ Marcelo Fabian Frias
๐ Library
๐
2002
๐ World Scientific
๐ English
Fork Algebras in Algebra, Logic and Comp
โ Marcelo Fabian Frias
๐ Library
๐
2002
๐ World Scientific
๐ English
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.
Don Pigozzi on Abstract Algebraic Logic,
โ Janusz Czelakowski
๐ Library
๐
2018
๐ Springer International Publishing
๐ English
<p><p>This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozziโs scientific output and discusses his impact on the development of science. The book both catalogues his works and of
Don Pigozzi on abstract algebraic logic,
โ Czelakowski, Janusz; Pigozzi, Don (ed.)
๐ Library
๐
2018
๐ Springer
๐ English
This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozziโs scientific output and discusses his impact on the development of science. The book both catalogues his works and offers a