83-19 構成子をもつ等号理論での帰納法による証明

スポンサーリンク

概要

• 論文の詳細を見る
• 1983-06-15

著者

• 外山 芳人

  東北大学

• 外山 芳人

  電電・武蔵野通研

関連論文

• 非定常ランダム外界における学習オ-トマン
• 新しいソフトウェアの実現 : 科研「情報学」プロジェクトA01柱を振り返って(「情報学を創る」-科研プロジェクトがめざしたもの)
• 帰納的推論の理論 (学習)
• 項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル)
• 5項 コンピュータサイエンス研究会(3節 工学研究会,第5章 国際会議・シンポジウム等)
• 依存対を用いた文脈依存書換え系の停止性判定について
• ナノピコ教室(8)解答編 回文プログラミングを楽しもう
• 平衡弱合流性と項書換えシステムの正規戦略(理論計算機科学とその周辺)
• 項書き換えシステムの直和の停止性(計算アルゴリズムの基礎理論)
• J. Roger Hindley, and Jonathan P.Seldin 著, "Introduction to Combinators and λ-Calculus", CAMBRIDGE UNIVERSITY PRESS, B5判, 360p., £8.95, 1986
• 第8回自動演繹国際会議の報告
• 形付項書き換えシステム(計算機科学の基礎理論とその応用)
• Call by Need 再考
• On Equivalence Trarnsformations for Term Rewriting Systems
• 83-19 構成子をもつ等号理論での帰納法による証明
• 83-1 項書き換えシステムの順序付け
• 項書き換えシステムの可換性について
• H.P.Barendregt 著, "The Lambda Calculus its Syntax and Semantics", North-Holland, B5変形判, 615p., \27,000, 1981
• 81-16 合流リダクション : 抽象的な性質と項書き換えシステムへの応用
• 80-18 万能チューリング機械の構成に必要な複雑さについて

もっと見る 閉じる

スポンサーリンク