|
Journals in DBLP
Inf. Comput. 2003, volume: 187, number: 2
- Michal Parnas, Dana Ron
Testing metric properties. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2003, v:187, n:2, pp:155-195 [Journal]
- Yoram Hirshfeld, Alexander Moshe Rabinovich
Future temporal logic needs infinitely many modalities. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2003, v:187, n:2, pp:196-208 [Journal]
- Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino
On regular drawn symbolic picture languages. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2003, v:187, n:2, pp:209-245 [Journal]
- Israel Gottlieb, Bojana Obrenic
Controlling the data space of tree structured computations. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2003, v:187, n:2, pp:246-276 [Journal]
- Nader H. Bshouty, Jeffrey C. Jackson, Christino Tamon
Uniform-distribution attribute noise learnability. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2003, v:187, n:2, pp:277-290 [Journal]
- Jörg Flum, Martin Grohe
Describing parameterized complexity classes. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2003, v:187, n:2, pp:291-319 [Journal]
|