Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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 perspecti

Relation algebras. --- Algebra of relations --- Algebras, Relation --- Relational algebras --- Relations, Algebra of --- Algebraic logic --- Algebraic logic.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Algebraic logic --- Computer science --- Logique algébrique --- Informatique --- Congresses. --- Mathematics --- Congrès --- Mathématiques --- Mathematical Theory --- Physical Sciences & Mathematics --- Computer science. --- Software engineering. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Artificial Intelligence (incl. Robotics). --- Software Engineering. --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer software engineering --- Engineering --- Informatics --- Science --- Logic, Symbolic and mathematical --- Algebra --- Artificial Intelligence. --- Data processing. --- Computer science—Mathematics. --- Algebraic logic - Congresses. --- Computer science - Mathematics - Congresses. --- Machine theory. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Relationism --- Algebra --- Relation algebras --- Informatique --- Algèbres des relations --- Congresses. --- Computer programs --- Congrès --- Congresses --- Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- Algebra of relations --- Algebras, Relation --- Relational algebras --- Relations, Algebra of --- Computer science. --- Software engineering. --- Computers. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Logics and Meanings of Programs. --- Symbolic and Algebraic Manipulation. --- Artificial Intelligence (incl. Robotics). --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Informatics --- Science --- Algebraic logic --- Existentialism --- Relation (Philosophy) --- Relativity --- Mathematical analysis --- Information theory. --- Logic design. --- Artificial Intelligence. --- Data processing. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Computer science—Mathematics. --- Computer science - Congresses --- Relationism - Congresses. --- Algebra - Computer programs - Congresses. --- Relation algebras - Congresses. --- Machine theory. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics