๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Fork Algebras in Algebra, Logic and Computer Science

โœ Scribed by Marcelo Fabian Frias

Book ID
127454046
Publisher
World Scientific
Year
2002
Tongue
English
Weight
1 MB
Series
Advances in Logic 2
Category
Library
ISBN
981277792X

No coin nor oath required. For personal study only.

โœฆ Synopsis

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 VOLUMES

Colloquim on algebra, combinatorics and
Colloquim on algebra, combinatorics and logic in computer science
๐Ÿ“‚ Article ๐Ÿ“… 1983 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 42 KB

September 12-16, 1983; at Gy6r, Hungary 'The J~nos Bolyai Mathematical Society intends to organize a "Colloquium on Algebra, Combinatorics and Logic in Computer Science" in the period 12-16, September 1983 at GySr (Hungary). The aim of the colloquium is to provide ground for the exchange of informat

Handbook of Logic in Computer Science. V
Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods
โœ Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 2001 ๐Ÿ› Clarendon Press ๐ŸŒ English โš– 3 MB

Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in Computer Science is a multi-volume work covering all th

Forking in locally free algebras
Forking in locally free algebras
โœ O. V. Belegradek ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› SP MAIK Nauka/Interperiodica ๐ŸŒ English โš– 354 KB