スポンサーリンク
島根大学総合理工学部数理・情報システム学科 | 論文
- 複素空間形の複素螺旋について(部分多様体論とその周辺)
- On the structure of weak interlaced bilattice $\mathcal{K}(\rm{L})$ (Algorithms in Algebraic Systems and Computation Theory)
- On structures of weak interlaced bilattices (Algebraic Semigroups, Formal Languages and Computation)
- Kleene Algebra and Modal Logic
- Pseudoconsistent Logic and Tense Logic
- Note on the semantics of logic programming (Languages, Algebra and Computer Systems)
- Characterization Theorem of 4-valued de Morgan Logic
- Annihilators in BCK-algebras(II)
- Functional Freeness for the Berman Class K_ of Ockham Algebras
- Congruence relations and filters in some variety(Semigroups, Formal Languages and Computer Systems)
- ある無線ステガノグラフィ方式の安全性の検証(研究速報)
- An Injective CPS-translation for the Extensional λ-calculus
- 安全な動的型と分散プロクラミング
- Order and topological structures of posets of the formal balls on metric spaces
- Some Questions on Transfinite Dimensions
- Parallel Computation and Synchronized Term Rewriting Systems : Extended Abstract (Algebraic Semigroups, Formal Languages and Computation)
- The Category MAP
- Connective spaces
- Trivially and locally trivially C maps
- Partial Topological Products in MAP