Decision problems for equational theories of relation algebras

Hajnal Andréka, Steven Givant, István Németi. Decision problems for equational theories of relation algebras. Volume 126 of Memoirs of the American Mathematical Society, American Mathematical Society, 1997.

Authors

Hajnal Andréka

This author has not been identified. Look up 'Hajnal Andréka' in Google

Steven Givant

This author has not been identified. Look up 'Steven Givant' in Google

István Németi

This author has not been identified. Look up 'István Németi' in Google