Relation Algebras, Volume 13
Elsevier, 2006 - 731 pagine
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.
Cosa dicono le persone - Scrivi una recensione
Incomplete Information: Structure, Inference, Complexity
Stephane P. Demri,Ewa Orlowska
Anteprima limitata - 2002
Logical Foundations of Computer Science: International Symposium, LFCS 2009 ...
Sergei Artemov,Anil Nerode
Anteprima limitata - 2009