TAKAI Toshinori | National Institute of Advanced Industrial Science and Technology
スポンサーリンク
概要
関連著者
-
Kaji Y
Nara Inst. Of Sci. And Technol. Ikoma‐shi Jpn
-
Kaji Yuichi
Nara Inst. Of Sci. And Technol. Nara Jpn
-
Seki H
Graduate School Of Information Science Nara Institute Of Science And Technology
-
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
-
Takai Toshinori
Research Center For Verification And Semantics National Institute Of Advanced Industrial Science And
-
FUJINAKA Youhei
Nara Institute of Science and Technology
著作論文
- 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