Journals in DBLP

ITA
2003, volume: 37, number: 4

1. Zoltán Ésik, Anna Ingólfsdóttir
   Foreword. [Citation Graph (0, 0)][DBLP]
   ITA, 2003, v:37, n:4, pp:272- [Journal]
   
2. Nick Benton, Martin Hyland
   Traced Premonoidal Categories. [Citation Graph (0, 0)][DBLP]
   ITA, 2003, v:37, n:4, pp:273-299 [Journal]
   
3. Federico De Marchi, Neil Ghani, Christoph Lüth
   Solving Algebraic Equations Using Coalgebra. [Citation Graph (0, 0)][DBLP]
   ITA, 2003, v:37, n:4, pp:301-314 [Journal]
   
4. Tarmo Uustalu
   Generalizing Substitution. [Citation Graph (0, 0)][DBLP]
   ITA, 2003, v:37, n:4, pp:315-336 [Journal]
   
5. Guo-Qiang Zhang
   Domain µ-calculus. [Citation Graph (0, 0)][DBLP]
   ITA, 2003, v:37, n:4, pp:337-364 [Journal]
   
6. Christoph Sprenger, Mads Dam
   On global induction mechanisms in a µ-calculus with explicit approximations. [Citation Graph (0, 0)][DBLP]
   ITA, 2003, v:37, n:4, pp:365-391 [Journal]