文献

J-GLOBAL ID：201702216197387053   整理番号：17A1357519

計数による一次論理【Powered by NICT】

First-order logic with counting

著者 (2件)： Kuske Dietrich (TU Ilmenau, Germany) ,  Schweikardt Nicole (Humboldt-Universitaet zu Berlin, Germany)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： LICS  ページ： 1-12  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 計数と集合Pからの数値述語による一次論理を拡張し,文献で研究されてきた種々の計数論理の自然な一般化として見ることができる論理FOCN(P)を導入した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *計測
準シソーラス用語： 述語 ,  計数 , 【Automatic Indexing@JST】

分類 (1件)： システム設計・解析  (IA02030D)

タイトルに関連する用語 (2件)： 計数 ,  論理