|
Journals in DBLP
Inf. Comput. 2006, volume: 204, number: 1
- Claus-Peter Schnorr
Fast LLL-type lattice reduction. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:1, pp:1-25 [Journal]
- Yoav Rodeh, Ofer Strichman
Building small equality graphs for deciding equality logic with uninterpreted functions. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:1, pp:26-59 [Journal]
- Robin Milner
Pure bigraphs: Structure and dynamics. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:1, pp:60-122 [Journal]
- Sanjay Jain, Efim B. Kinber
Learning languages from positive data and a finite number of queries. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:1, pp:123-175 [Journal]
|