萩谷昌己, 東京大学 [著][萩谷昌己]2006-2007<Y151-H18500003>
国立国会図書館
- 件名シェイプ解析 / 静的解析 / 停止性解析 / モデル検査 / 様相論理
ミデルドープ, アート (Middeldorp, Aart) , 筑波大学1999-2000<Y151-H11680338>
国立国会図書館
- 件名項書き換え 記号計算 停止性 文脈依存書き換え 変換法
栗原, 正仁, 北海道工業大学1997-1999<Y151-H09650444>
国立国会図書館
- 件名エージエント 分散制約充足 停止性検証 二分決定グラフ 項書換え系
三宅, 養三, 名古屋大学2001-2002<Y151-H13307048>
国立国会図書館
- 件名遺伝性網膜疾患 分子遺伝 病態生理 不全型先天停止性夜盲 白点状眼底 Occult macular dystro...
外山, 芳人, 北陸先端科学技術大学院大学1995-1997<Y151-H07680347>
国立国会図書館
- 件名項書き換えシステム 高階書き換えシステム 合流性 停止性 リダクシヨン
岡田光弘, 慶応義塾大学1997-1999<Y151-H09480058>
国立国会図書館
- 件名線形論理 相意味論 証明の正規化定理 (強) 停止性 計算モデル 高階論理 並行計算 カツト消去定理
中村, 誠, 名古屋大学2000-2001<Y151-H12671703>
国立国会図書館
- 件名遺伝性眼底疾患 分子遺伝 先天性網膜分離症 眼底白点症 不全型先天停止性夜盲 XLRS1遺伝子 RDH5遺伝子 CACNA1F遺伝子
栗原, 正仁, 北海道大学1992-1995<Y151-H04650298>
国立国会図書館
- 件名項書換え系 プログラム合成 停止性 検証 EBL 完備化 リフレクシヨン モジユール
三宅, 養三, 名古屋大学1994-1995<Y151-H06454496>
国立国会図書館
- 件名先天停止性夜盲 不全型 完全型 杆体b波 STR 杆体双極細胞 杆体・...
貴島, 勝郎, 九州大学1990-1991<Y151-H02302056>
国立国会図書館
- 件名船舶操縦性 操縦運動数学モデル 船体流体力 緊急停止性能 針路不安定船 パイロツト操船 輻輳水域 載荷状態