|
Journals in DBLP
Inf. Comput. 2005, volume: 201, number: 2
- Venkatesh Choppella, Christopher T. Haynes
Source-tracking unification. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:201, n:2, pp:121-159 [Journal]
- Matthias Krause, Petr Savický, Ingo Wegener
On the influence of the variable ordering for algorithmic learning using OBDDs. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:201, n:2, pp:160-177 [Journal]
- Atsuyoshi Nakamura
An efficient query learning algorithm for ordered binary decision diagrams. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:201, n:2, pp:178-198 [Journal]
- Shigeki Akiyama, Frédérique Bassino, Christiane Frougny
Arithmetic Meyer sets and finite automata. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:201, n:2, pp:199-215 [Journal]
- Jianer Chen, Benny Chor, Mike Fellows, Xiuzhen Huang, David W. Juedes, Iyad A. Kanj, Ge Xia
Tight lower bounds for certain parameterized NP-hard problems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:201, n:2, pp:216-231 [Journal]
|