Journals in DBLP

ACM Trans. Comput. Log.
2005, volume: 6, number: 4

1. Krzysztof R. Apt
   Editorial. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:4, pp:673- [Journal]
   
2. Phokion G. Kolaitis
   LICS 2003 special issue. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:4, pp:674- [Journal]
   
3. Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
   Automatic linear orders and trees. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:4, pp:675-700 [Journal]
   
4. Andrzej S. Murawski
   About the undecidability of program equivalence in finitary languages with state. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:4, pp:701-726 [Journal]
   
5. James F. Lynch
   Convergence law for random graphs with specified degree sequence. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:4, pp:727-748 [Journal]
   
6. Dale Miller, Alwen Tiu
   A proof theory for generic judgments. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:4, pp:749-783 [Journal]
   
7. Dominic J. D. Hughes, Rob J. van Glabbeek
   Proof nets for unit-free multiplicative-additive linear logic. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:4, pp:784-842 [Journal]