Choose an application

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

Choose an application

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

Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and g

Mathematical logic --- Relation algebras. --- Game theory. --- Games, Theory of --- Theory of games --- Mathematical models --- Mathematics --- Algebra of relations --- Algebras, Relation --- Relational algebras --- Relations, Algebra of --- Algebraic logic

Choose an application

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

Folklore --- Theatrical science --- Beersel

Choose an application

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

Zang --- Duitsland --- Profane muziek --- 19e eeuw