文献
J-GLOBAL ID：202002223170242744   整理番号：20A0291001

左巻き完全性【JST・京大機械翻訳】

Left-handed completeness
著者 (2件)：
Kozen Dexter

Kozen Dexter について

(Computer Science Department, Cornell University, Ithaca, NY 14853-7501, USA)

Computer Science Department, Cornell University, Ithaca, NY 14853-7501, USA について

, 
Silva Alexandra

Silva Alexandra について

(Department of Computer Science, University College London, Gower Street, London WC1E 6BT, UK)

Department of Computer Science, University College London, Gower Street, London WC1E 6BT, UK について


資料名：
Theoretical Computer Science  (Theoretical Computer Science)

Theoretical Computer Science について


巻： 807  ページ： 220-233  発行年： 2020年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Kleene代数の左巻き星則の完全性の新しい証明を与えた。証明は以前の証明より著しく短く,Kleene代数学の理論における代数と共代数の豊富な相互作用を説明する。Copyright 2020 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
完全性

完全性 について

, 
相互作用

相互作用 について

, 
*代数学

代数学 について


著者キーワード (3件)：
Nivat

Nivat について

, 
kleene代数

kleene代数 について

, 
完全性

完全性 について

分類 (4件)：
分類
JSTが定めた文献の分類名称とコードです
人工知能 
(JE08000Z)

人工知能 について

,  グラフ理論基礎 
(IA02020S)

グラフ理論基礎 について

,  図形・画像処理一般 
(JE04010I)

図形・画像処理一般 について

,  ロボットの運動・制御 
(IC04012J)

ロボットの運動・制御 について

タイトルに関連する用語 (1件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
完全性

完全性 について


前のページに戻る

TOP

BOTTOM