Papers - ASAMOTO Noriko

1. The loop and Times Macroinstruction for SCM+FSA

   Formalized Mathematics, , 1998.01, N. Asamoto, Original, Research paper (scientific journal), Single Author

2. Conditional Branch Mucro Instructions of Instructions of SCM+FSA

   Formalized Mathematics, , 1997.01, N. Asamoto, Original, Research paper (scientific journal), Single Author

3. Constant assignment macro instructions of SCM+FSA

   Formalized Mathematics, , 1997.01, N. Asamoto, Original, Research paper (scientific journal), Single Author

4. On the compositions of macro instructions, Part II,III

   Formalized Mathematics, , 1997.01, N. Asamoto, Y. Nakamura, P. Rudnicki, A. Trybulec, Original, Research paper (scientific journal), Capital Author

5. On the compositions of macro instructions, Part I

   Formalized Mathematics, , 1997.01, A. Trybulec, Y. Nakamura, N. Asamoto, Original, Research paper (scientific journal), Coauthor

6. Some Multi Instructions Defined by Sequences of Instructions of SCM+FSA

   Formalized Mathematics, , 1996.01, N. Asamoto, Original, Research paper (scientific journal), Single Author

7. On Regular Graphs and the Associated Real Algebras Generated by the Adjacency matrices

   Nat. Sci. Rep. Ochanomizu Univ., , 1994.01, N. Asamoto, T.Koyama, K. Uchibe, Original, Research paper (bulletin of university, research institution), Coauthor

8. On some torsion-free class

   Nat. Sci. Rep. Ochanomizu Univ., , 1986.01, N. Asamoto, T.Koyama, Original, Research paper (bulletin of university, research institution), Coauthor

9. On a torsion-free class with separable types

   Nat. Sci. Rep. Ochanomizu Univ., , 1985.01, N. Asamoto, T.Koyama, Original, Research paper (bulletin of university, research institution), Capital Author