电邮这篇文章 On the Expressive Power of Some Extensions of Linear Temporal Logic
- 作者: Gnatenko A.R.1, Zakharov V.A.1
-
隶属关系:
- National Research University, Higher School of Economics (HSE)
- 期: 卷 53, 编号 7 (2019)
- 页面: 663-675
- 栏目: Article
- URL: https://journals.rcsi.science/0146-4116/article/view/175896
- DOI: https://doi.org/10.3103/S014641161907006X
- ID: 175896
如何引用文章
开放存取
##reader.subscriptionAccessGranted##
订阅存取
作者简介
A. Gnatenko
National Research University, Higher School of Economics (HSE)
编辑信件的主要联系方式.
Email: gnatenko.cmc@gmail.com
俄罗斯联邦, Moscow, 101000
V. Zakharov
National Research University, Higher School of Economics (HSE)
编辑信件的主要联系方式.
Email: zakh@cs.msu.ru
俄罗斯联邦, Moscow, 101000
补充文件
