The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 69, number:

  1. Samson Abramsky, Bob Coecke
    Physical Traces: Quantum vs. Classical Information Processing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  2. Paul Taylor 0002
    Local Compactness and the Baire Category Theorem in Abstract Stone Duality. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  3. Lutz Schröder
    Classifying categories for partial equational logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  4. Stefan Milius
    On Iteratable Endofunctors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  5. Maria Emilia Maietti
    Joyal's arithmetic universes via type theory. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  6. Paul Blain Levy
    Adjunction Models For Call-By-Push-Value With Stacks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  7. François Lamarche
    Multiplicative Linear Logics and Fibrations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  8. James Laird
    A Categorical Semantics of Higher Order Store. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  9. Jürgen Koslowski
    A monadic approach to polycategories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  10. Jesse Hughes, Bart Jacobs
    Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  11. Masahito Hasegawa
    The Uniformity Principle on Traced Monoidal Categories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  12. Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
    Bisimulation Relations for Dynamical and Control Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  13. J. Robin B. Cockett, Luigi Santocanale
    Induction, Coinduction, and Adjoints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  14. Matteo Coccia, Fabio Gadducci, Ugo Montanari
    GS.Lambda Theories: A Syntax for Higher-Order Graphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  15. Richard Blute, Peter Selinger
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  16. Stephen L. Bloom, Zoltán Ésik
    Unique, guarded fixed points in an additive setting: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  17. Pierre Boudes
    Non-Uniform Hypercoherences. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  18. Jirí Adámek, Stefan Milius, Jiri Velebil
    On Rational Monads and Free Iterative Theories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  19. Krzysztof Worytkiewicz
    Paths and Simulations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [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