Togashi Atsushi | Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer

スポンサーリンク

概要

• TOGASHI Atsushiの詳細を見る
• 同名の論文著者
• Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univerの論文著者

関連著者

• Togashi Atsushi

  Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer

• Togashi Atsushi

  Research Institute of Electrical Communication, Tohoku University

• Noguchi Shoichi

  Research Center For Applied Information Science Tohoku University

• Togashi A

  Tohoku Univ. Sendai Jpn

• Hou Ben-hui

  Research Institute Of Electrical Communication Tohoku University

• Noguchi S

  Research Institute Of Electrical Communication Tohoku University

• Shiratori Norio

  Research Institute Of Electric Communications Tohoku University

• Shiratori Norio

  Research Institute Of Electrical Communication Graduate School Of Information Science Tohoku Univers

• Togashi Atsushi

  Research Institute Of Electrical Communication Tohoku University

• Kimura Shigetomo

  Research Institute of Electrical Communication, Tohoku University

• Bista Bhed

  Research Institute Of Electrical Communication Tohoku University

• Cheng Zixue

  Department Of Computer Softwere The University Of Aizu

• Cheng Zixue

  Department Of Computer Software University Of Aizu

• Kimura Shigetomo

  Research Institute Of Electrical Communication Tohoku University

• Mansfield G

  Tokyo Inst. Technol. Tokyo Jpn

• Yamamoto U

  Tohoku Univ. Sendai‐shi Jpn

• Yamamoto Ushio

  Research Institute Of Electrical Communication Tohoku University

• MANSFIELD GLENN

  Research Institute of Electrical Communication, Tohoku University

• NOGUCHI SHOICHI

  Research Institute of Electrical Communication, Tohoku University

• Noguchi Shoichi

  Research Institute Of Electrical Communication Tohoku University

• Noguchi Shoichi

  Research Center For Applied Information Sciences Tohoku University

• Shiratori Norio

  Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer

• Mansfield Glenn

  Research Institute Of Electrical Communication Tohoku University

• Fujita Ken-etsu

  Dept. Of Artificial Intelligence Kyushu Institute Of Technology

• Song Kukhwan

  Research Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku Univ

• Song Kukhwan

  Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer

• Noguchi Shoichi

  Research Center for Applied Information Sciences, Tohoku University

もっと見る 閉じる

著作論文

• Inductive Inference of Algebraic Processes Based on Hennessy-Milner Logic (Special Section on Net Theory and Its Applications)
• AMLOG : an Amalgamated Equational Logic Programming Language
• A New Approach for Protocol Synthesis Based on LOTOS (Special Section on Net Theory and Its Applications)
• A Support Method for Specification Process Based on LTSs (Special Section on Net Theory and Its Applications)
• A PROGRAM TRANSFORMATION FROM EQUATIONAL PROGRAMS INTO LOGIC PROGRAMS(Lambda Calculus and Computer Science Theory)
• Generalized Predicate Completion and its Relation to Circumscription
• A Partial Translation of Default Logic to Circumscription
• Can Completion Entail Circumscription (Sometimes)?
• A Canonical Translation from Higher Order Logic to Typed Lambda Calculus
• Verification and Refinement for System Requirements

スポンサーリンク