村上昌己, 岡山大学 [著][村上昌己]2000-2003<Y151-H12680352>
国立国会図書館
- 件名並行計算 / 線形論理 / 動的変更 / 分散システム / 名前の有...
上田和紀, 早稲田大学 [著][上田和紀]2004-2006<Y151-H16300009>
国立国会図書館
- 件名LMNtal / プログラム言語 / コンパイラ / 並行計算 / 分散計算 / 多重集合書換え / グラフ書換え
結縁祥治, 名古屋大学 [著][結縁祥治]2001-2003<Y151-H13680408>
国立国会図書館
- 件名並行計算モデル / 構造的操作意味定義 / プロセス代数 / 実時間...
米澤, 明憲, 東京大学1994-1995<Y151-H06452389>
国立国会図書館
- 件名並行計算 線形論理 並列オブジエクト指向 静的解析
岡田光弘, 慶応義塾大学1997-1999<Y151-H09480058>
国立国会図書館
- 件名線形論理 相意味論 証明の正規化定理 (強) 停止性 計算モデル 高階論理 並行計算 カツト消去定理
濱口, 毅, 名古屋大学1996-1997<Y151-H08458067>
国立国会図書館
- 件名メタ計算 書換え計算 項書換え系 並行計算 検証 代数的仕様 帰納的定理 被覆集合帰納法
富樫敦, 宮城大学 [著][富樫敦]2004-2005<Y151-H16500038>
国立国会図書館
- 件名コミュニティシステム / オントロジー / エージェント / 分散ネットワーク / セマンティックウェブ / 分散ネットワーク型コミュニティシステム / 並行計算 / 構造的操作意味論
岡田, 光弘, 慶応義塾大学1995-1997<Y151-H07808035>
国立国会図書館
- 件名線形論理 相意味論 並行計算 正規化定理 カツト消去定理 関数型プログラム言語 論理プロ...
坂部, 俊樹, 名古屋大学1990-1991<Y151-H02680020>
国立国会図書館
- 件名並行計算 関数型計算モデル CCS ブロードキヤスト ナローイング ...