Relation algebras [E-Book] / Roger D. Maddux.
The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification theory, AI---and in anthr...
Saved in:
Full text |
|
Personal Name(s): | Maddux, R. D. |
Edition: |
1st ed. |
Imprint: |
Amsterdam ; Boston :
Elsevier,
2006
|
Physical Description: |
1 online resource (xxvi, 731 p.) : ill. |
Note: |
englisch |
ISBN: |
9780080461472 9780444520135 0444520139 0080461476 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Studies in logic and the foundations of mathematics,
v. 150 |
Subject (LOC): |
The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification theory, AI---and in anthropology, economics, physics, and philosophical logic. This comprehensive treatment of the theory of relation algebras and the calculus of relations is the first devoted to a systematic development of the subject. Key Features: - Presents historical milestones from a modern perspective - Careful, thorough, detailed guide to understanding relation algebras - Provides a framework and unified perspective of the subject. |