Information and Computation
Công bố khoa học tiêu biểu
Sắp xếp:
An extension of context-free grammars with one-sided context specifications
Information and Computation - Tập 237 - Trang 268-293 - 2014
P, NP, and the Post Correspondence Problem
Information and Computation - Tập 121 - Trang 135-142 - 1995
Reachability, confluence, and termination analysis with state-compatible automata
Information and Computation - Tập 253 - Trang 467-483 - 2017
Bounded memory Dolev–Yao adversaries in collaborative systems
Information and Computation - Tập 238 - Trang 233-261 - 2014
Information leakage due to operative errors in card-based protocols
Information and Computation - Tập 285 - Trang 104910 - 2022
The monadic second-order logic of graphs. I. Recognizable sets of finite graphs
Information and Computation - Tập 85 Số 1 - Trang 12-75 - 1990
Testing Equivalence for Mobile Processes
Information and Computation - Tập 120 Số 2 - Trang 279-303 - 1995
Tổng số: 1,170
- 1
- 2
- 3
- 4
- 5
- 6
- 117