有界算術における方程式理論の無矛盾性の証明について【JST・京大機械翻訳】

Beckmann Arnold; Yamagata Yoriyuki

プレプリント

J-GLOBAL ID：202202216585997665 整理番号：22P0301482

有界算術における方程式理論の無矛盾性の証明について【JST・京大機械翻訳】

On proving consistency of equational theories in Bounded Arithmetic

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (2件)： ,
資料名：
発行年： 2022年03月09日プレプリントサーバーでの情報更新日： 2022年03月09日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

著者らは,置換を可能にする純粋な方程式理論を考察したが,その関数記号の再帰的定義に基づいて,PETSとして示す。著者らは,Boundedアルゴリズム理論S ̄1_2がPETSの一貫性を証明したことを示した。提案アプローチは,Bounded Aアルゴリズムticにおけるドメイン理論からの概念に似た近似値に基づくPETSのモデルを採用し,それは独立した興味の可能性がある。【JST・京大機械翻訳】

, , , ,
, , , 【Automatic Indexing@JST】

数値計算 , 人工知能

, , , , ,

前のページに戻る