On Equivalence Trarnsformations for Term Rewriting Systems
スポンサーリンク
概要
著者
関連論文
- 非定常ランダム外界における学習オ-トマン
- 新しいソフトウェアの実現 : 科研「情報学」プロジェクト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 万能チューリング機械の構成に必要な複雑さについて