Information and Computation

Công bố khoa học tiêu biểu

Sắp xếp:  
Approximable Sets
Information and Computation - Tập 120 - Trang 304-314 - 1995
R. Beigel, M. Kummer, F. Stephan
An extension of context-free grammars with one-sided context specifications
Information and Computation - Tập 237 - Trang 268-293 - 2014
Mikhail Barash, Alexander Okhotin
P, NP, and the Post Correspondence Problem
Information and Computation - Tập 121 - Trang 135-142 - 1995
A. Mateescu, A. Salomaa, K. Salomaa, S. Yu
Reachability, confluence, and termination analysis with state-compatible automata
Information and Computation - Tập 253 - Trang 467-483 - 2017
Bertram Felgenhauer, René Thiemann
Bounded memory Dolev–Yao adversaries in collaborative systems
Information and Computation - Tập 238 - Trang 233-261 - 2014
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
Automata for unordered trees
Information and Computation - Tập 253 - Trang 304-335 - 2017
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
Complexity and Categoricity
Information and Computation - Tập 140 - Trang 2-25 - 1998
Douglas Cenzer, Jeffrey B. Remmel
Information leakage due to operative errors in card-based protocols
Information and Computation - Tập 285 - Trang 104910 - 2022
Takaaki Mizuki, Yuichi Komano
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
Bruno Courcelle
Testing Equivalence for Mobile Processes
Information and Computation - Tập 120 Số 2 - Trang 279-303 - 1995
Michele Boreale, R. Denicola
Tổng số: 1,170   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 117