Decision problems for equational theories of relation algebras /

Saved in:

Bibliographic Details
Main Authors:	Andreka, H. (Author), Givant, Steven R. (Author), Nemeti, I. (Author)
Format:	Electronic eBook
Language:	English
Published:	Providence, Rhode Island : American Mathematical Society, [1997]
Series:	Memoirs of the American Mathematical Society ; no. 604.
Subjects:	Relation algebras. Decidability (Mathematical logic) Electronic books.
Online Access:	Click to View
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

Click to View