文献

J-GLOBAL ID：202202290913667857   整理番号：22A1104934

モード[数式:原文を参照]計算に対するLyndon内挿【JST・京大機械翻訳】

Lyndon Interpolation for Modal [Formula : see text]-Calculus

著者 (3件)： Afshari Bahareh (Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands) ,  Afshari Bahareh (Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Gothenburg, Sweden) ,  Leigh Graham E. (Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Gothenburg, Sweden)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13206  ページ： 197-213  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： モード[数式:原文を参照]計算には,Craig補間特性,実際に均一な補間があることが知られている。著者らは,均一補間によって暗示されないCraig補間の強化である計算のためのLyndon補間を証明した。証明は,「サイクリックの逐次計算を利用し,有効な含意から補間者のアルゴリズム構築を提供する。この直接手法は,補間者の形状と逐次計算証明の存在の間の対応を導くことを可能にした。Copyright The Author(s), under exclusive license to Springer Nature Switzerland AG 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *内挿法

著者キーワード (4件)： Lyndon内挿 ,  モード[数式:原文を参照]計算 ,  巡回証明 ,  シーケント計算

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： 数式 ,  参照 ,  計算 ,  内挿