2003 | ||
---|---|---|
5 | EE | Tomoko Ninomiya, Masao Mukaidono: Complete and Independent Sets of Axioms of Boolean Algebra. ISMVL 2003: 169-174 |
2002 | ||
4 | EE | Tomoko Ninomiya, Masao Mukaidono: Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra. ISMVL 2002: 185-191 |
2000 | ||
3 | EE | Tomoko Ninomiya, Masao Mukaidono: Fundamental Properties on Axioms of Kleene Algebra. ISMIS 2000: 311-320 |
2 | EE | Tomoko Ninomiya, Masao Mukaidono: Independence of the Axioms of Boolean Algebra in Multiple-Valued Logic. ISMVL 2000: 107-112 |
1999 | ||
1 | EE | Tomoko Ninomiya, Masao Mukaidono: Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients. ISMVL 1999: 125-130 |
1 | Masao Mukaidono | [1] [2] [3] [4] [5] |