|
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:219-249 [Journal]
- Yoram Hirshfeld, Mark Jerrum, Faron Moller
A Polynomial-Time 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:251-259 [Journal]
- Antonino Salibra, Giuseppe Scollo
Interpolation and Compactness in Categories of Pre-Institutions. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:261-286 [Journal]
- Arnon Avron
The Structure of Interlaced Bilattices. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:287-299 [Journal]
- Michael Barr
Fuzzy Models of Linear Logic. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:301-312 [Journal]
|