Journal of Computer and System Sciences （JCSS） - Volume 80, Issue 6 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 80, Issue 6 |
| 发布时间： September 2014 |
| 卷期年份： 2014 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/80/issue/6 |
本期论文列表
Editorial Board
Editors' foreword
A complexity question in justification logic
Realizing public announcements by justifications
Nominal Lawvere Theories: A category theoretic account of equational theories with names
Polynomial hierarchy graph properties in hybrid logic
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
On the determinacy of concurrent games on event structures with infinite winning sets
Multiset rewriting over Fibonacci and Tribonacci numbers
A characterization of definability of second-order generalized quantifiers with applications to non-definability
On polymorphic types of untyped terms
Contents