Collection home page

Mathematical Foundation of Computer Sciences   14
(http://hdl.handle.net/2433/101007)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14
BibliographyContents
表紙・目次
   (1978-03)
  数理解析研究所講究録, 322
file type icon
妥当な論理式(1階述語論理)の証明図作成の1つの方法 (計算機科学の数学的基礎)
  大芝, 猛, 永田, 周郎, 舟橋, 栄 (1978-03)
  数理解析研究所講究録, 322: 1-19
file type icon
Simple Loop ProgramによるTime Complexityの階層 (計算機科学の数学的基礎)
  笠井, 琢美, 足立, 暁生 (1978-03)
  数理解析研究所講究録, 322: 20-55
file type icon
セーフペトリネットによる正規集合の記述の簡潔さについて : 有限オートマトンとの比較 (計算機科学の数学的基礎)
  松浦, 敏雄, 杉山, 裕二, 谷口, 健一, 嵩, 忠雄 (1978-03)
  数理解析研究所講究録, 322: 56-74
file type icon
再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎)
  二木, 厚吉 (1978-03)
  数理解析研究所講究録, 322: 75-98
file type icon
並列プログラム図式に関するいくつかの性質 (計算機科学の数学的基礎)
  山下, 雅史, 稲垣, 康善, 本多, 波雄 (1978-03)
  数理解析研究所講究録, 322: 99-116
file type icon
ベル数B(N)の1つの算式 (計算機科学の数学的基礎)
  大芝, 猛 (1978-03)
  数理解析研究所講究録, 322: 117-123
file type icon
一階様相述語論理の機械的定理証明について (計算機科学の数学的基礎)
  鈴木, 淳之, 中松, 和己 (1978-03)
  数理解析研究所講究録, 322: 124-153
file type icon
On resolution layered with input resolutions
  YAMASAKI, SUSUMU, MURAKI, KAZUNORI, ASHIYA, TETSUSHI, DOSHITA, SHUJI (1978-03)
  数理解析研究所講究録, 322: 154-177
file type icon
自己診断システムにおけるネットワーク構造と計算複雑さの関係 (計算機科学の数学的基礎)
  阿江, 忠, 大崎, 重義 (1978-03)
  数理解析研究所講究録, 322: 178-193
file type icon
プロテクションシステムのセキュリティ判定問題 (計算機科学の数学的基礎)
  菊野, 亨, 今川, 隆則 (1978-03)
  数理解析研究所講究録, 322: 194-217
file type icon
A Note on Algorithms for Tower of Hanoi (計算機科学の数学的基礎)
  TAKANAMI, ITSUO, INOUE, KATSUSHI (1978-03)
  数理解析研究所講究録, 322: 218-229
file type icon
多段グラフの平面性判定アルゴリズム (計算機科学の数学的基礎)
  富井, 規雄, 上林, 弥彦, 矢島, 脩三 (1978-03)
  数理解析研究所講究録, 322: 230-263
file type icon
不成功マッチング処理に適した部分マッチングアルゴリズム (計算機科学の数学的基礎)
  上林, 弥彦, 中津, 楢男, 矢島, 脩三 (1978-03)
  数理解析研究所講究録, 322: 264-285
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14