---

＜図書＞
Decision problems for equational theories of relation algebras / Hajnal Andréka, Steven Givant, István Németi
(Memoirs of the American Mathematical Society ; no. 604)

出版者	Providence, R.I. : American Mathematical Society
出版年	1997
本文言語	英語
大きさ	xiv, 126 p. ; 26 cm
著者標目	*Andréka, H Givant, Steven R Németi, I
件　名	LCSH:Relation algebras LCSH:Decidability (Mathematical logic)
一般注記	"March 1997, volume 126, number 604 (end of volume)" Includes bibliography (p. 112-114), and indexes of symbols, and names and subject

 類似資料