文献

J-GLOBAL ID：201702293511062269   整理番号：17A1357526

言語とcodensityモナドに対する量化記号【Powered by NICT】

Quantifiers on languages and codensity monads

著者 (3件)： Gehrke Mai (IRIF, CNRS and Univ. Paris Diderot, France) ,  Petrisan Daniela (IRIF, CNRS and Univ. Paris Diderot, France) ,  Reggio Luca (IRIF, CNRS and Univ. Paris Diderot, France)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： LICS  ページ： 1-12  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 語に関する論理に関連しているので,この論文では,通常の設定を超えて言語のためのtopoalgebraic認識の技術に寄与している。特に,各種量化記号の1層を添加することに対応する認識の一般的構成を提供し,関連Reutenauer型定理を証明した。著者らの主なツールはcodensityモナドと双対性理論である。我々の構成法は有限要素法と可換半環S自由S semimodule分子の副有限分子の新しい特徴づけ,ブール空間上のVietoris分子は有限べき集合関手のcodensity分子であることを著者らの以前の知見を一般化を,特に,得られた。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *量化記号 ,  *言語 ,  有限要素法

分類 (1件)： 論理代数  (JB03000H)

タイトルに関連する用語 (3件)： 言語 ,  モナド ,  量化記号