Takai Toshinori | Research Center For Verification And Semantics National Institute Of Advanced Industrial Science And

スポンサーリンク

概要

• TAKAI TOSHINORIの詳細を見る
• 同名の論文著者
• Research Center For Verification And Semantics National Institute Of Advanced Industrial Science Andの論文著者

関連著者

• Kaji Y

  Nara Inst. Of Sci. And Technol. Ikoma‐shi Jpn

• Seki H

  Graduate School Of Information Science Nara Institute Of Science And Technology

• Takai Toshinori

  Research Center For Verification And Semantics National Institute Of Advanced Industrial Science And

• Kaji Yuichi

  Nara Inst. Of Sci. And Technol. Nara Jpn

• TAKAI Toshinori

  National Institute of Advanced Industrial Science and Technology

• SEKI Hiroyuki

  Nara Institute of Science and Technology

• Kaji Yuichi

  Nara Inst. Of Sci. And Technol. Ikoma‐shi Jpn

• Seki Hiroyuki

  Nara Inst. Sci. And Technol. Ikoma‐shi Jpn

• Kaji Yuichi

  Graduate School Of Information Science Nara Institute Of Science And Technology

• SEKI Hiroyuki

  Graduate School of Information Science, Nara Institute of Science and Technology

• TAKAI TOSHINORI

  Research Center for Verification and Semantics National Institute of Advanced Industrial Science and

• FUJINAKA Youhei

  Nara Institute of Science and Technology

• Seki Hiroyuki

  Graduate School Of Information Science Nara Institute Of Science And Technology

もっと見る 閉じる

著作論文

• RIGHT-LINEAR FINITE PATH OVERLAPPING REWRITE SYSTEMS EFFECTIVELY PRESERVE RECOGNIZABILITY
• Layered Transducing Term Rewriting System and Its Recognizability Preserving Property (Special Issue on Selected Papers from LA Symposium)
• Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable

スポンサーリンク