文献
J-GLOBAL ID：201402228929543028   整理番号：14A0870288

LTL(命題時相論理)の因果的断片の計算量

The Complexity of Clausal Fragments of LTL
著者 (4件)：
ARTALE Alessandro

ARTALE Alessandro について

(Free Univ. Bozen-Bolzano, Bolzano, ITA)

Free Univ. Bozen-Bolzano, Bolzano, ITA について

, 
KONTCHAKOV Roman

KONTCHAKOV Roman について

(Univ. London, London, GBR)

Univ. London, London, GBR について

, 
RYZHIKOV Vladislav

RYZHIKOV Vladislav について

(Free Univ. Bozen-Bolzano, Bolzano, ITA)

Free Univ. Bozen-Bolzano, Bolzano, ITA について

, 
ZAKHARYASCHEV Michael

ZAKHARYASCHEV Michael について

(Univ. London, London, GBR)

Univ. London, London, GBR について


資料名：
Lecture Notes in Computer Science  (Lecture Notes in Computer Science)

Lecture Notes in Computer Science について


巻： 8312  ページ： 35-52  発行年： 2013年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)
タイトルに関連する用語 (4件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
命題

命題 について

, 
時相論理

時相論理 について

, 
断片

断片 について

, 
計算量

計算量 について


前のページに戻る

TOP

BOTTOM