Relation Algebras, Volum 13Elsevier, 2006 - 731 pàgines 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.
|
Referències a aquest llibre
Incomplete Information: Structure, Inference, Complexity Stephane P. Demri,Ewa Orlowska Previsualització limitada - 2002 |
Logical Foundations of Computer Science: International Symposium, LFCS 2009 ... Sergei Artemov Previsualització limitada - 2009 |