Journals in DBLP
Inf. Comput. 2003, volume: 186, number: 2
Naoki Kobayashi , Benjamin C. Pierce Information and Computation special issue from TACS 2001. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2003, v:186, n:2, pp:163-164 [Journal ] Andrew M. Pitts Nominal logic, a first order theory of names and binding. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2003, v:186, n:2, pp:165-193 [Journal ] Luís Caires , Luca Cardelli A spatial logic for concurrency (part I). [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2003, v:186, n:2, pp:194-235 [Journal ] Mizuhito Ogawa A linear time algorithm for monadic querying of indefinite data over linearly ordered domains. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2003, v:186, n:2, pp:236-259 [Journal ] Philip Wadler The Girard-Reynolds isomorphism. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2003, v:186, n:2, pp:260-284 [Journal ] Marcello M. Bonsangue , Joost N. Kok Infinite intersection types. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2003, v:186, n:2, pp:285-318 [Journal ] Joachim Niehren , Tim Priesnitz Non-structural subtype entailment in automata theory. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2003, v:186, n:2, pp:319-354 [Journal ] Javier Esparza , Antonín Kucera , Stefan Schwoon Model checking LTL with regular valuations for pushdown systems. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2003, v:186, n:2, pp:355-376 [Journal ]