thumbnail

Journal of Computer and System Sciences

  0022-0000

 

 

Cơ quản chủ quản:  ACADEMIC PRESS INC ELSEVIER SCIENCE , Academic Press Inc.

Lĩnh vực:
Computer Networks and CommunicationsApplied MathematicsTheoretical Computer ScienceComputational Theory and Mathematics

Phân tích ảnh hưởng

Thông tin về tạp chí

 

Các bài báo tiêu biểu

Propositional dynamic logic of regular programs
Tập 18 Số 2 - Trang 194-211 - 1979
Michael J. Fischer, Richard E. Ladner
Communication in concurrent dynamic logic
Tập 35 Số 1 - Trang 23-58 - 1987
David Peleg
Independent database schemas
Tập 28 - Trang 121-141 - 1984
Marc H. Graham
k-distinct in- and out-branchings in digraphs
Tập 95 - Trang 86-97 - 2018
Gregory Gutin, Felix Reidl, Magnus Wahlström
On temporal graph exploration
Tập 119 - Trang 1-18 - 2021
Thomas Erlebach, Michael Hoffmann, Frank Kammer
The complexity of reachability in parametric Markov decision processes
Tập 119 - Trang 183-210 - 2021
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
Almost all graphs with average degree 4 are 3-colorable
Tập 67 - Trang 441-471 - 2003
Dimitris Achlioptas, Cristopher Moore
Subgraph isomorphism, log-bounded fragmentation, and graphs of (locally) bounded treewidth
Tập 73 - Trang 755-768 - 2007
MohammadTaghi Hajiaghayi, Naomi Nishimura