Concurrency Makes Simple Theories Hard
Concurrency Makes Simple Theories Hard
复制标题
并发使简单的理论变得困难
DOI：
10.4230/lipics.stacs.2012.148
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Goller, S.
中科院分区：
文献类型：
--
作者：
Goller, S.
登录
查看更多内容
论组合性及其局限性
DOI：
10.1145/1182613.1182617
发表时间：
2007
期刊：
ACM Trans. Comput. Log.
影响因子：
--
作者：
A. Rabinovich
通讯作者：
A. Rabinovich
DOI：
10.2168/lmcs-3(4:5)2007
发表时间：
2004
期刊：
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
影响因子：
--
作者：
Stefan Wöhrle;W. Thomas
通讯作者：
W. Thomas
具有路径长度条件的组合性和可达性
DOI：
10.1142/s0129054109006929
发表时间：
2009
期刊：
Int. J. Found. Comput. Sci.
影响因子：
--
作者：
Ingo Felscher;W. Thomas
通讯作者：
W. Thomas
困难的配置——论 LTrL 的复杂性
影响因子：
0.8
作者：
I. Walukiewicz
通讯作者：
I. Walukiewicz