Journal of Computer and System Sciences （JCSS） - Volume 88 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 88 |
| 发布时间： September 2017 |
| 卷期年份： 2017 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/88/suppl/C |
本期论文列表
Editorial Board
20th workshop on logic, language, information and computation – WoLLIC 2013
Dynamic conjunctive queries
Quantifying leakage in the presence of unreliable sources of information
Decidability of order-based modal logics
Deciding definability by deterministic regular expressions
Dependence logic with generalized quantifiers: Axiomatizations
Boolean dependence logic and partially-ordered connectives
Model-checking for Resource-Bounded ATL with production and consumption of resources
Fixed points in conjunctive networks and maximal independent sets in graph contractions
On the data complexity of consistent query answering over graph databases
Faster exact algorithms for some terminal set problems
On g-extra connectivity of hypercube-like networks
The impact of processing order on performance: A taxonomy of semi-FIFO policies
Hyperplane separation technique for multidimensional mean-payoff games
Linear kernels for separating a graph into components of bounded size
Formal verification of stability and chaos in periodic optical systems
Contents