Decision problems for equational theories of relation algebras / Hajnal Andréka, Steven Givant, István Németi.

Saved in:

Bibliographic Details
Main Author:	Andréka, H.
Other Authors:	Givant, Steven R., Németi, I.
Format:	Book
Language:	English
Published:	Providence, R.I. : American Mathematical Society, 1997.
Series:	Memoirs of the American Mathematical Society, no. 604
Subjects:	Relation algebras. Decidability (Mathematical logic)

Holdings details from Science Library
Call Number:	QA10 .A52 1997
Status:	Available

Similar Items