Decision problems for equational theories of relation algebras
著者
書誌事項
Decision problems for equational theories of relation algebras
(Memoirs of the American Mathematical Society, no. 604)
American Mathematical Society, 1997
大学図書館所蔵 件 / 全18件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"March 1997, volume 126, number 604 (end of volume)"
Includes bibliography (p. 112-114), and indexes of symbols, and names and subject
内容説明・目次
内容説明
Covers decision problems for equational theories of relation algebras. This work is intended for graduate students, research mathematicians, and computer scientists interested in questions of computability in algebra, logic, and computer science.
「Nielsen BookData」 より