𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Fork Algebras in Algebra, Logic and Computer Science

✍ Scribed by Marcelo Fabian Frias


Publisher
World Scientific
Year
2002
Tongue
English
Leaves
230
Series
Advances in Logic 2
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects


ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ°;ΠžΠ±Ρ‰Π°Ρ Π°Π»Π³Π΅Π±Ρ€Π°;


πŸ“œ SIMILAR VOLUMES


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