Information and Computation

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

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Fast collaborative graph exploration
Information and Computation - Tập 243 - Trang 37-49 - 2015
Dariusz Dereniowski, Yann Disser, Adrian Kosowski, Dominik Pająk, Przemysław Uznański
Complexity and Categoricity
Information and Computation - Tập 140 - Trang 2-25 - 1998
Douglas Cenzer, Jeffrey B. Remmel
A periodicity lemma for partial words
Information and Computation - Tập 283 - Trang 104677 - 2022
Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Tomasz Waleń
Preemptive scheduling on a small number of hierarchical machines
Information and Computation - Tập 206 - Trang 602-619 - 2008
György Dósa, Leah Epstein
Equivalences between learning of data and probability distributions, and their applications
Information and Computation - Tập 262 - Trang 123-140 - 2018
George Barmpalias, Nan Fang, Frank Stephan
On fairness and randomness
Information and Computation - Tập 207 - Trang 909-922 - 2009
Manfred Jaeger
Finding Compact Scheme Forests in Nested Normal Form Is NP-Hard
Information and Computation - Tập 110 - Trang 19-41 - 1994
P. Thanisch, G. Loizou, J. Nummenmaa
Complete inference systems for weak bisimulation equivalences in the π-calculus
Information and Computation - Tập 180 - Trang 1-29 - 2003
Huimin Lin
Correctness proofs for abstract implementations
Information and Computation - Tập 80 - Trang 121-151 - 1989
Gilles Bernot
Typing in Pure Type Systems
Information and Computation - Tập 105 - Trang 30-41 - 1993
L.S.V. Jutting
Tổng số: 1,178   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10