Search Results1-7 of  7

  • Yuasa Yoshifumi ID: 9000009914154

    Articles in CiNii:1

    • Enantioselective Synthesis of (S)-3-(4-Thiazolyl)-2-tert-butoxycarbonylaminopropionic Acid: A Chiral Building Block for Renin Inhibitor (2004)
  • YUASA Yoshifumi ID: 9000000064403

    Waseda University (1997 from CiNii)

    Articles in CiNii:1

    • The tightness about sequential fans and combinatorial properties (1997)
  • YUASA Yoshifumi ID: 9000006780415

    Tokyo Institute of Technology:Institute of Advanced Industrial Science and Technology (2008 from CiNii)

    Articles in CiNii:2

    • Verifications of an arbiter for electronic control units with an interactive theorem prover (2008)
    • Verifications of an arbiter for electronic control units with an interactive theorem prover (2008)
  • YUASA Yoshifumi ID: 9000017682254

    Graduate School of Information Science and Engineering, Tokyo Institute of Technology (2009 from CiNii)

    Articles in CiNii:1

    • Pre- and Post-Conditions Expressed in Variants of the Modal μ-Calculus (2009)
  • Yuasa Yoshifumi ID: 9000002358833

    Advanced Research Center for Science and Engineering, Waseda University (2000 from CiNii)

    Articles in CiNii:4

    • Fusion by occurrance analysis and its iterative application (Program Transformation, Symbolic Computation and Algebraic Manipulation) (2000)
    • A Fusion Procedure for Primitive Recursive Functions Based on a Variable Condition (1999)
    • 証明論的手法による一般部分計算の記述 (1998)
  • Yuasa Yoshifumi ID: 9000006116325

    早稲田大学理工学部数学科 (1995 from CiNii)

    Articles in CiNii:1

    • Shrinkability of Unbounded Sets in the Cohen Extention(Metamathematics and it's applications) (1995)
  • Yuasa Yoshifumi ID: 9000253123120

    Tokyo College of Pharmacy (1981 from CiNii)

    Articles in CiNii:1

    • Intramolecular C.ALPHA.- and C.GAMMA.-alkylations of tertiary enaminones. Facile routes to functionalized indole ring systems. (1981)
Page Top