Journals in DBLP

ACM Trans. Comput. Log.
2004, volume: 5, number: 4

1. W. O. David Griffioen, Frits W. Vaandrager
   A theory of normed simulations. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2004, v:5, n:4, pp:577-610 [Journal]
   
2. J. V. Tucker, Jeffery I. Zucker
   Abstract versus concrete computation on metric partial algebras. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2004, v:5, n:4, pp:611-668 [Journal]
   
3. Carsten Lutz
   NEXP TIME-complete description logics with concrete domains. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2004, v:5, n:4, pp:669-705 [Journal]
   
4. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
   Proving correctness of timed concurrent constraint programs. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2004, v:5, n:4, pp:706-731 [Journal]
   
5. Frédéric Benhamou, Frédéric Goualard, Eric Languénou, Marc Christie
   Interval constraint solving for camera control and motion planning. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2004, v:5, n:4, pp:732-767 [Journal]