ヘルプ
ヘルプ

検索結果 859 件

Decidability of termination properties for term rewriting systems consisting of shallow dependency pairs (ソフトウェアサイエンス)

Decidability of termination properties for term rewriting systems consisting of shallow dependency pairs (ソフトウェアサイエンス)
紙記事
内山 敬太, 酒井 正彦, 坂部 俊樹 他<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報108(362) 2008.12.18・19p.37～42
国立国会図書館全国の図書館
  • 件名最内停止性 文脈依存停止性 右線形 右定項 innermost termination context-sensitive termination right-linear right-gro...

Static dependency pair method for simply-typed term rewriting and related techniques (ソフトウェアサイエンス)

Static dependency pair method for simply-typed term rewriting and related techniques (ソフトウェアサイエンス)
紙デジタル記事
草刈 圭一朗, 酒井 正彦<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報107(505) 2008.3.3・4p.19～24
インターネットで読める国立国会図書館全国の図書館
  • 要約等...ectively prove termination of functional programs...
  • 件名...則 Simply-Typed Term Rewriting Termination Static Dependency Pair...

Decidability of innermost termination for semi-constructor term rewriting systems (計算機科学の理論とその応用 RIMS研究集会報告集)

Decidability of innermost termination for semi-constructor term rewriting systems (計算機科学の理論とその応用 RIMS研究集会報告集)
紙デジタル記事
内山 敬太, 酒井 正彦, 西田 直樹<Z43-1336>数理解析研究所講究録(通号 1554) 2007.5p.166～170
インターネットで読める国立国会図書館全国の図書館

Decidability of Termination for Semi-Constructor Term Rewriting Systems

Decidability of Termination for Semi-Constructor Term Rewriting Systems
紙記事
王 易, 酒井 正彦, 西田 直樹<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報105(228) 2005.8.4p.13～18
国立国会図書館全国の図書館

Decidability of Termination for Left-Linear Shallow Term Rewriting Systems and Related

Decidability of Termination for Left-Linear Shallow Term Rewriting Systems and Related
紙記事
王 易, 酒井 正彦, 西田 直樹 他<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報105(499) 2005.12.22p.9～13
国立国会図書館全国の図書館

An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited (計算機科学基礎理論とその応用 研究集会報告集)

An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited (計算機科学基礎理論とその応用 研究集会報告集)
紙デジタル記事
岩見 宗弘<Z43-1336>数理解析研究所講究録(通号 1426) 2005.4p.126～132
インターネットで読める国立国会図書館全国の図書館
  • 件名Termination Simplification orderin...

Persistence of Termination for Overlay Term Rewriting Systems (計算機科学基礎理論の新展開 研究集会報告集)

Persistence of Termination for Overlay Term Rewriting Systems (計算機科学基礎理論の新展開 研究集会報告集)
紙デジタル記事
岩見 宗弘<Z43-1336>数理解析研究所講究録(通号 1375) 2004.5p.240～246
インターネットで読める国立国会図書館全国の図書館

Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting Systems

Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting Systems
紙記事
草刈 圭一朗, 酒井 正彦<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報105(491) 2005.12.20p.13～18
国立国会図書館全国の図書館
  • 件名関数プログラム 停止性 直接関数渡し 依存対 Termination Simply-Typed Term Rewriting System Plain Function-Passing

Persistence of Termination for Non-Overlapping Term Rewriting Systems (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)

Persistence of Termination for Non-Overlapping Term Rewriting Systems (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
紙デジタル記事
岩見 宗弘<Z43-1336>数理解析研究所講究録(通号 1366) 2004.4p.91～99
インターネットで読める国立国会図書館全国の図書館

On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems

On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems
紙記事
西田 直樹, 酒井 正彦, 坂部 俊樹<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報104(243) 2004.8.3p.25～30
国立国会図書館全国の図書館

Parallel Computation and Synchronized Term Rewriting Systems--Extended Abstract (Algebraic Semigroups, Formal Languages and Computation)

Parallel Computation and Synchronized Term Rewriting Systems--Extended Abstract (Algebraic Semigroups, Formal Languages and Computation)
紙デジタル記事
藤田 憲悦, Aart Middeldorp<Z43-1336>数理解析研究所講究録(通号 1222) 2001.7p.105～113
インターネットで読める国立国会図書館全国の図書館

On Proving Termination of Term Rewriting Systems with Higher-Order Variables

On Proving Termination of Term Rewriting Systems with Higher-Order Variables
紙記事
Keiichirou Kusakari<Z74-C192>情報処理学会論文誌. SIG42(7) 2001.7p.35～45
国立国会図書館全国の図書館
  • 要約等We define term rewriting systems with h......d higher-order rewriting systems (HRSs). However it i...

項書換えにおけるナローイング計算木のベーシックナローイングへの拡張 (システム数理と応用)

項書換えにおけるナローイング計算木のベーシックナローイングへの拡張 (システム数理と応用)
紙記事
前田 侑也, 西田 直樹, 酒井 正彦, 小林 倫也<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報118(384):2019.1.15・16p.73-78
国立国会図書館全国の図書館
  • 件名...流性 conditional term rewriting system narrowing regular tree...
  • 並列タイトル等（連結）Extending Narrowing Trees to Basic Narrowing in Term Rewriting
  • 並列タイトル等Extending Narrowing Trees to Basic Narrowing in Term Rewriting

条件付き項書き換えシステムにおけるホーン節帰納的定理の自動証明 (サイバー増大号 ; PPL2018)

条件付き項書き換えシステムにおけるホーン節帰納的定理の自動証明 (サイバー増大号 ; PPL2018)
紙デジタル記事
栗田 泰智, 青戸 等人<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会 編36(2):2019.5p.61-75
インターネットで読める国立国会図書館全国の図書館
  • 並列タイトル等（連結）Automated Proofs of Horn-Clause Inductive Theorems for Conditional Term Rewriting Systems
  • 並列タイトル等Automated Proofs of Horn-Clause Inductive Theorems for Conditional Term Rewriting Systems

決定手続きを用いた項書き換えシステムの帰納的定理自動証明

決定手続きを用いた項書き換えシステムの帰納的定理自動証明
デジタル記事
山口 諒, 青戸 等人<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編35:2018.8.29-31p.149-155
国立国会図書館全国の図書館
  • 並列タイトル等（連結）Proving inductive theorems of term rewriting systems automatically using d...
  • 並列タイトル等Proving inductive theorems of term rewriting systems automatically using d...

The Weighted Path Order for Termination of Term Rewriting

書影書影書影
The Weighted Path Order for Termination of Term Rewriting
デジタル博士論文障害者向け資料あり
Yamada, Akihisa, 山田, 晃久2014-09-29
国立国会図書館

十分完全性を持たない階層的条件付き項書換え系の合流性証明 (ソフトウェアサイエンス)

十分完全性を持たない階層的条件付き項書換え系の合流性証明 (ソフトウェアサイエンス)
紙記事
黒田 貴之, 西田 直樹, 関 浩之<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報116(512):2017.3.9・10p.103-108
国立国会図書館全国の図書館
  • 件名...全性 conditional term rewriting system confluence rewriting induction sufficient complete...
  • 並列タイトル等（連結）...al Conditional Term Rewriting Systems without Sufficient Co...
  • 並列タイトル等...al Conditional Term Rewriting Systems without Sufficient Co...

閉包操作に基づく項書き換えシステムの到達可能性判定

閉包操作に基づく項書き換えシステムの到達可能性判定
デジタル記事
四方 駿作, 青戸 等人, 外山 芳人<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編30:2013.9.10-13p.697-701
国立国会図書館全国の図書館
  • 並列タイトル等（連結）Deciding Reachability for Term Rewriting Systems based on Rewrite Clos...
  • 並列タイトル等Deciding Reachability for Term Rewriting Systems based on Rewrite Clos...

制約付き項書換え系における停止性と帰納的定理の同時証明 (システム数理と応用)

制約付き項書換え系における停止性と帰納的定理の同時証明 (システム数理と応用)
紙記事
川本 佳史, 西田 直樹, 酒井 正彦<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報115(419):2016.1.25・26p.75-80
国立国会図書館全国の図書館
  • 件名...ーク constrained term rewriting system inductive theorem rewriting induction DP framework
  • 並列タイトル等（連結）On Proving Termination and Inductive Theorems Simultaneously for Constrained Term Rewriting Systems
  • 並列タイトル等On Proving Termination and Inductive Theorems Simultaneously for Constrained Term Rewriting Systems

パターン除去による制約付き項書換え系の等価変換 (知能ソフトウェア工学)

パターン除去による制約付き項書換え系の等価変換 (知能ソフトウェア工学)
紙記事
長尾 貴浩, 西田 直樹, 酒井 正彦<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報115(154):2015.7.22-24p.167-172
国立国会図書館
  • 件名...全性 constrained term rewriting system pattern elimination re...
  • 並列タイトル等（連結）An Equivalent Transformation of Constrained Term Rewriting Systems by Pattern Eliminatio...
  • 並列タイトル等An Equivalent Transformation of Constrained Term Rewriting Systems by Pattern Eliminatio...