• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Fork Algebras in Algebra, Logic &...(V2)

Fork Algebras in Algebra, Logic &...(V2)

Hardcover

Series: Advances in Logic, Book 2

FictionGeneral ComputersGeneral Mathematics

ISBN10: 9810248768
ISBN13: 9789810248765
Publisher: World Scientific Publishing Company
Published: Aug 11 2002
Pages: 232
Weight: 0.99
Height: 0.74 Width: 6.41 Depth: 9.36
Language: English

Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding.

Also in

Fiction