Link on this page

<Books>
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)

Publisher Providence, R.I. : American Mathematical Society
Year 1997
Language English
Size xiv, 126 p. ; 26 cm
Authors *Andréka, H
Givant, Steven R
Németi, I
Subjects LCSH:Relation algebras
LCSH:Decidability (Mathematical logic)
Notes "March 1997, volume 126, number 604 (end of volume)"
Includes bibliography (p. 112-114), and indexes of symbols, and names and subject
TOC

Hide book details.

数学図書室(図書) 図書
410.8//Me38//VX1
0821805959


0098033686

Hide details.

Material Type Books
Classification LCC:QA3.A57 no. 604
LCC:QA10
DC21:510 s
DC21:511.3/24
ID 1000187344
ISBN 0821805959
NCID BA30193916

 Similar Items