文献
J-GLOBAL ID:202202254337854598
整理番号:22A0311847
有限高さ補完および直交相補モジュラ格子に対する方程式決定問題の計算量について【JST・京大機械翻訳】
On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices
著者 (1件):
Herrmann Christian
(Technische Universitaet Darmstadt FB4, Darmstadt, Germany)
資料名:
Algebra Universalis
(Algebra Universalis)
巻:
83
号:
1
ページ:
5
発行年:
2022年
JST資料番号:
W4017A
ISSN:
0002-5240
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)