| |
| 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] |