文献

J-GLOBAL ID：202002283453507386   整理番号：20A0592121

[数式:原文を参照]は[数式:原文を参照]で決定可能である【JST・京大機械翻訳】

[Formula : see text] Is Decidable in [Formula : see text]

著者 (2件)： Bes Alexis (Universite Paris Est Creteil, LACL, Creteil, France) ,  Choffrut Christian (IRIF, CNRS and Universite Paris 7 Denis Diderot, Paris, France)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12038  ページ： 128-140  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 構造[数式:原文を参照]で定義可能なリールに関する関係が構造[数式:原文を参照]において定義できるかどうかは決定可能であることを示した。この結果は,[数式:原文を参照]-定義可能な関係の族における[数式:原文を参照]-定義可能な関係のトポロジー的特性化を得ることによって達成され,次に,この特性化が[数式:原文を参照]の論理において表現できることを示すMuchnikのアプローチに従うことによって達成される。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： キャラクタリゼーション ,  *位相幾何学

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (2件)： 数式 ,  参照