Journal of Computer and System Sciences
Công bố khoa học tiêu biểu
Sắp xếp:
Propositional dynamic logic of regular programs
Journal of Computer and System Sciences - Tập 18 Số 2 - Trang 194-211 - 1979
Communication in concurrent dynamic logic
Journal of Computer and System Sciences - Tập 35 Số 1 - Trang 23-58 - 1987
Towards Structured Parallel Computing on Architecture-Independent Parallel Algorithm Design for Distributed-Memory Architectures
Journal of Computer and System Sciences - Tập 53 - Trang 112-128 - 1996
Independent database schemas
Journal of Computer and System Sciences - Tập 28 - Trang 121-141 - 1984
k-distinct in- and out-branchings in digraphs
Journal of Computer and System Sciences - Tập 95 - Trang 86-97 - 2018
The complexity of reachability in parametric Markov decision processes
Journal of Computer and System Sciences - Tập 119 - Trang 183-210 - 2021
Almost all graphs with average degree 4 are 3-colorable
Journal of Computer and System Sciences - Tập 67 - Trang 441-471 - 2003
Some results on relativized deterministic and nondeterministic time hierarchies
Journal of Computer and System Sciences - Tập 22 - Trang 1-8 - 1981
Subgraph isomorphism, log-bounded fragmentation, and graphs of (locally) bounded treewidth
Journal of Computer and System Sciences - Tập 73 - Trang 755-768 - 2007
Tổng số: 1,408
- 1
- 2
- 3
- 4
- 5
- 6
- 141