Journals in DBLP

Inf. Comput.
2006, volume: 204, number: 7

1. John T. Baldwin, Marco Mazzucco
   Determined theories and limit laws. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:7, pp:1013-1022 [Journal]
   
2. Alexander Rabinovich, Ph. Schnoebelen
   BTL₂ and the expressive power of ECTL⁺. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:7, pp:1023-1044 [Journal]
   
3. Yuxin Deng, Davide Sangiorgi
   Ensuring termination by typability. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:7, pp:1045-1082 [Journal]
   
4. Jan A. Bergstra, C. A. Middelburg
   Splitting bisimulations and retrospective conditions. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:7, pp:1083-1138 [Journal]
   
5. Jirí Adámek, Stefan Milius
   Terminal coalgebras and free iterative theories. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:7, pp:1139-1172 [Journal]
   
6. Lihua Liu, Zhengjun Cao
   On computing ord_N(2) and its application. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:7, pp:1173-1178 [Journal]
   
7. Jiqiang Lv
   On two DES implementations secure against differential power analysis in smart-cards. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:7, pp:1179-1193 [Journal]