
Journals in DBLP
 Cosimo Laneve, Ugo Montanari
Axiomatizing Permutation Equivalence. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:219249 [Journal]
 Yoram Hirshfeld, Mark Jerrum, Faron Moller
A PolynomialTime Algorithm for Deciding Bisimulation Equivalence of Normed Basic Parallel Processes. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:251259 [Journal]
 Antonino Salibra, Giuseppe Scollo
Interpolation and Compactness in Categories of PreInstitutions. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:261286 [Journal]
 Arnon Avron
The Structure of Interlaced Bilattices. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:287299 [Journal]
 Michael Barr
Fuzzy Models of Linear Logic. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:301312 [Journal]
