DSpace コレクション: 2008-06
http://hdl.handle.net/2433/139619
2008-06
2024-03-19T01:26:32Z
-
Commutative residuated latticesで特徴づけられる論理について (代数、言語のアルゴリズムと計算理論)
http://hdl.handle.net/2433/139938
タイトル: Commutative residuated latticesで特徴づけられる論理について (代数、言語のアルゴリズムと計算理論)
著者: 近藤, 通朗
2008-06-01T00:00:00Z
-
表紙・目次
http://hdl.handle.net/2433/139939
タイトル: 表紙・目次
2008-06-01T00:00:00Z
-
定理証明ツールによる証明可能安全性 (代数、言語のアルゴリズムと計算理論)
http://hdl.handle.net/2433/139937
タイトル: 定理証明ツールによる証明可能安全性 (代数、言語のアルゴリズムと計算理論)
著者: 田中, 三貴
2008-06-01T00:00:00Z
-
Mechanism of Homomorphic Encryptions (Algorithmic and Computational Theory in Algebra and Languages)
http://hdl.handle.net/2433/139935
タイトル: Mechanism of Homomorphic Encryptions (Algorithmic and Computational Theory in Algebra and Languages)
著者: Yamamura, Akihiro
2008-06-01T00:00:00Z