Jump to main content

yr 〜
yr

Search results 3

初期面で退化した偏微分方程式の解の構造とその応用

初期面で退化した偏微分方程式の解の構造とその応用
Paper図書
萬代, 武史, 大阪電気通信大学2000-2002<Y151-H12640194>
National Diet Library
  • Subject Headingフツクス型偏微分作用素 Volevicタイプシステム 確定特異点 特性指数 特性的初期値問題

並行計算に基づくエージエント計算系の論理的意味論に関する基礎研究

並行計算に基づくエージエント計算系の論理的意味論に関する基礎研究
Paper図書
富樫, 敦, 静岡大学1998-1999<Y151-H10680347>
National Diet Library
  • Subject Heading高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高階並行プログラミング言語 等価性 言語処理系

高階並行プロセス計算の基礎理論と実践

高階並行プロセス計算の基礎理論と実践
Paper図書
富樫, 敦, 静岡大学1996-1997<Y151-H08680343>
National Diet Library
  • Subject Heading高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高階並行プログラミング言語 等価性 言語処理系

Reached to the end of result.

RSS