• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

WOLTER Frank  ヴォルター フランク

ORCIDORCID連携する *注記
研究者番号 20272990
所属 (過去の研究課題情報に基づく) *注記 1996年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助手
審査区分/研究分野
研究代表者以外
計算機科学
キーワード
研究代表者以外
constructive mathematics / term rewriting systems / modal logic / substructural logic / 項書き換え系 / 時間論理 / 構成的数学 / 項書換え系 / 様相論理 / 部分構造論理
  • 研究課題

    (1件)
  • 共同研究者

    (6人)
  •  理論計算機科学における数理論理学の応用

    • 研究代表者
      小野 寛晰
    • 研究期間 (年度)
      1996 – 1997
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  • 1.  小野 寛晰 (90055319)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 2.  青戸 等人 (00293390)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 3.  鹿島 亮 (10240756)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  石原 哉 (10211046)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  外山 芳人 (00251968)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  酒井 正彦 (50215597)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi