The SCEAS System
Navigation Menu

Journals in DBLP

Mathematical Structures in Computer Science
2000, volume: 10, number: 2

  1. Michael Barr, Philip J. Scott, R. A. G. Seely
    Introduction. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:97-98 [Journal]
  2. Mirjana Borisavljevic, Kosta Dosen, Zoran Petric
    On permuting cut with contraction. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:99-136 [Journal]
  3. Marta Bunge, Marcelo P. Fiore
    Unique factorisation lifting functors and categories of linearly-controlled processes. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:137-163 [Journal]
  4. J. Robin B. Cockett, Jürgen Koslowski, R. A. G. Seely
    Introduction to linear bicategories. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:165-203 [Journal]
  5. Esfandiar Haghverdi
    Unique decomposition categories, Geometry of Interaction and combinatory logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:205-230 [Journal]
  6. Masahiro Hamano
    Pontrjagin duality and full completeness for multiplicative linear logic (without Mix). [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:231-259 [Journal]
  7. Jonathan P. Seldin
    On lists and other abstract data types in the calculus of constructions. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:261-276 [Journal]
  8. Paul Ruet
    Non-commutative logic II: sequent calculus and phase semantics. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:277-312 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002