Journals in DBLP
Jean-Yves Girard A New Constructive Logic: Classical Logic. [Citation Graph (1, 0)][DBLP ] Mathematical Structures in Computer Science, 1991, v:1, n:3, pp:255-296 [Journal ] Yves Lafont , Alain Prouté Church-Rosser Property and Homology of Monoids. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1991, v:1, n:3, pp:297-326 [Journal ] Bart Jacobs Semantics of the Second Order Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1991, v:1, n:3, pp:327-360 [Journal ] Hartmut Ehrig , Annegret Habel , Hans-Jörg Kreowski , Francesco Parisi-Presicce Parallelism and Concurrency in High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1991, v:1, n:3, pp:361-404 [Journal ]