The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
1999, volume: 29, number:

  1. Marek A. Bednarczyk, Andrzej M. Borzyszkowski
    Concurrent Realizations of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  2. Thong wei Koh, C.-H. Luke Ong
    Internal Languages for Autonomous and *-Autonomous Categories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  3. Zhaohui Luo, Sergei Soloviev
    Dependent Coercions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  4. Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
    Precategories for combining probabilistic automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  5. Eugenio Moggi, Gianna Bellè, C. Barry Jay
    Monads, shapely functors, and traversals. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  6. Andrzej S. Murawski, C.-H. Luke Ong
    Exhausting Strategies, Joker Games and IMLL with Units. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  7. Jan Paseka
    Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices with a Duality. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  8. John Power, Daniele Turi
    A Coalgebraic Foundation for Linear Time Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  9. Doug Smith
    Designware: Software Development by Refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  10. Thomas Streicher
    Denotational Completeness Revisited. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  11. Hideki Tsuiki
    A domain-theoretic semantics of lax generic functions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  12. Martin Hyland, Andrea Schalk
    Abstract Games for Linear Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  13. Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  14. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    Functorial semantics for Petri nets under the individual token philosophy. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  15. Anna Bucalo, Carsten Führmann, Alex K. Simpson
    Equational Lifting Monads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  16. Francisco Durán, José Meseguer
    Structured Theories and Institutions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  17. Adam Eppendahl
    Coalgebra-to-Algebra Morphisms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  18. Lindsay Errington
    On the Semantics of Message Passing Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  19. Marcelo P. Fiore
    Fibred models of processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  20. Peter J. Freyd
    Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  21. Fabio Gadducci, Reiko Heckel, Mercè Llabrés
    A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  22. Ryu Hasegawa
    Several Applications of Analytic Functors to Theoretical Computer Science. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  23. Thomas T. Hildebrandt
    A Fully abstract presheaf semantics for SCCS with finite delay. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  24. Martin Wehr
    Higher-dimensional syntax. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, 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