Journal: Inf. Comput.

Volume 201, Issue 2

121 -- 159Venkatesh Choppella, Christopher T. Haynes. Source-tracking unification
160 -- 177Matthias Krause, Petr Savický, Ingo Wegener. On the influence of the variable ordering for algorithmic learning using OBDDs
178 -- 198Atsuyoshi Nakamura. An efficient query learning algorithm for ordered binary decision diagrams
199 -- 215Shigeki Akiyama, Frédérique Bassino, Christiane Frougny. Arithmetic Meyer sets and finite automata
216 -- 231Jianer Chen, Benny Chor, Mike Fellows, Xiuzhen Huang, David W. Juedes, Iyad A. Kanj, Ge Xia. Tight lower bounds for certain parameterized NP-hard problems

Volume 201, Issue 1

1 -- 54Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli. The Seal Calculus
55 -- 71Yuri Kalnishkan, Vladimir Vovk, Michael V. Vyugin. How many strings are easy to predict?
72 -- 119Mark Reynolds. An axiomatization of PCTL*