Journals in DBLP

J. Log. Comput.
2000, volume: 10, number: 3

1. Fairouz Kamareddine, Jan Willem Klop
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:3, pp:321-322 [Journal]
   
2. John R. W. Glauert, Richard Kennaway, Zurab Khasidashvili
   Stable results and relative normalization. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:3, pp:323-348 [Journal]
   
3. Fairouz Kamareddine, Alejandro Ríos
   Relating the [lgr][sgr]- and [lgr]s-styles of explicit substitutions. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:3, pp:349-380 [Journal]
   
4. Zurab Khasidashvili, Adolfo Piperno
   A syntactical analysis of normalization. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:3, pp:381-410 [Journal]
   
5. A. J. Kfoury
   A linearization of the Lambda-calculus and consequences. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:3, pp:411-436 [Journal]
   
6. Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer
   A geometric proof of confluence by decreasing diagrams. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:3, pp:437-460 [Journal]
   
7. Paul-André Melliès
   Axiomatic rewriting theory II: the [lgr][sgr]-calculus enjoys finite normalisation cones. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:3, pp:461-487 [Journal]