クリーン代数の決定不可能な クリーン代数の決定不可能な 謎 クレーネ代数の複雑さとその課題を探る。 論理学 クリーン代数と可換性の謎 可換条件を持つクレーネ代数の複雑さを探る。 Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi May 3, 2025 ― 1 分で読む