文献
J-GLOBAL ID:201802215483029763
整理番号:18A2060388
Quirky量子化器:計算木論理の最適モデルと複雑性【JST・京大機械翻訳】
Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic
著者 (1件):
Lueck Martin
(Institut fuer Theoretische Informatik, Gottfried Wilhelm Leibniz Universitaet, Appelstrasse 4, 30167 Hannover, Germany)
資料名:
International Journal of Foundations of Computer Science
(International Journal of Foundations of Computer Science)
巻:
29
号:
1
ページ:
17-61
発行年:
2018年
JST資料番号:
W0409A
ISSN:
0129-0541
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
シンガポール (SGP)
言語:
英語 (EN)