About Gaina Daniel
About Kyushu University, Japan
About Gaina Daniel
About La Trobe University, Australia
About Nakamura Masaki
About Toyama Prefectural University, Japan
About Ogata Kazuhiro
About Japan Advanced Institute of Science and Technology, Japan
About Futatsugi Kokichi
About National Institute of Advanced Industrial Science and Technology, Japan
About Futatsugi Kokichi
About National Institute of Informatics, Japan
About Theoretical Computer Science
Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.
About mapping
About operator(worker)
About sorting(computer)
About reducibility
About completeness
About parameterization
About term rewriting system
About algebraic specification
About soundness
About アマルガム
About 項書換え
About Algebraic specification
About Sufficient-completeness
About Reducibility
About Pushout
About Parameterized specification
About Term rewriting
About Computer system development
About Theory of computation
About アマルガム
About 終端
About 完全性
About 安定性