DSpace コレクション: 2008-062008-06http://hdl.handle.net/2433/1396192024-03-19T04:47:28Z2024-03-19T04:47:28ZCommutative residuated latticesで特徴づけられる論理について (代数、言語のアルゴリズムと計算理論)近藤, 通朗http://hdl.handle.net/2433/1399382011-05-18T15:21:12Z2008-06-01T00:00:00Zタイトル: Commutative residuated latticesで特徴づけられる論理について (代数、言語のアルゴリズムと計算理論)
著者: 近藤, 通朗2008-06-01T00:00:00Z表紙・目次http://hdl.handle.net/2433/1399392011-05-18T15:21:13Z2008-06-01T00:00:00Zタイトル: 表紙・目次2008-06-01T00:00:00Z定理証明ツールによる証明可能安全性 (代数、言語のアルゴリズムと計算理論)田中, 三貴http://hdl.handle.net/2433/1399372011-05-18T15:21:10Z2008-06-01T00:00:00Zタイトル: 定理証明ツールによる証明可能安全性 (代数、言語のアルゴリズムと計算理論)
著者: 田中, 三貴2008-06-01T00:00:00ZMechanism of Homomorphic Encryptions (Algorithmic and Computational Theory in Algebra and Languages)Yamamura, Akihirohttp://hdl.handle.net/2433/1399352011-05-18T15:21:09Z2008-06-01T00:00:00Zタイトル: Mechanism of Homomorphic Encryptions (Algorithmic and Computational Theory in Algebra and Languages)
著者: Yamamura, Akihiro2008-06-01T00:00:00Z