Fork algebras in algebra : logic and computer science /

Show other versions (1)

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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Frias, Marcelo Fabián, 1968-
Format: Electronic eBook
Language:Inglés
Published: River Edge, NJ : World Scientific, 2002.
Series:Advances in logic ; v. 2.
Subjects:
Computer science > Mathematics.
Logic, Symbolic and mathematical.
Informatique > Mathématiques.
Logique symbolique et mathématique.
COMPUTERS > Reference.
COMPUTERS > Machine Theory.
COMPUTERS > Computer Literacy.
COMPUTERS > Information Technology.
COMPUTERS > Data Processing.
COMPUTERS > Computer Science.
COMPUTERS > Hardware > General.
Computer science > Mathematics
Logic, Symbolic and mathematical
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items