Journals in DBLP

ACM Trans. Comput. Log.
2003, volume: 4, number: 1

1. Philip Wadler, Peter Thiemann
   The marriage of effects and monads. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:1, pp:1-32 [Journal]
   
2. Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch
   Deciding the confluence of ordered term rewrite systems. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:1, pp:33-55 [Journal]
   
3. James Harland, David J. Pym
   Resource-distribution via Boolean constraints. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:1, pp:56-90 [Journal]
   
4. Zbigniew Lonc, Miroslaw Truszczynski
   Fixed-parameter complexity of semantics for logic programs. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:1, pp:91-119 [Journal]
   
5. Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
   A complete characterization of complete intersection-type preorders. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:1, pp:120-147 [Journal]