Journals in DBLP

Sci. Comput. Program.
2007, volume: 65, number: 2

1. Dexter Kozen
   Preface. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:2, pp:71- [Journal]
   
2. Frank Atanassow, Johan Jeuring
   Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:2, pp:72-107 [Journal]
   
3. Jeremy Gibbons
   Metamorphisms: Streaming representation-changers. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:2, pp:108-139 [Journal]
   
4. Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
   Modelling angelic and demonic nondeterminism with multirelations. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:2, pp:140-158 [Journal]
   
5. Joseph M. Morris, Malcolm Tyrrell
   Terms with unbounded demonic and angelic nondeterminacy. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:2, pp:159-172 [Journal]
   
6. Therrezinha Fernandes, Jules Desharnais
   Describing data flow analysis techniques with Kleene algebra. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:2, pp:173-194 [Journal]
   
7. Bernhard Möller
   Kleene getting lazy. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:2, pp:195-214 [Journal]