The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
1995, volume: 1, number:

  1. Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten
    Solutions of functorial and non-functorial metric domain equations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  2. Cliff B. Jones
    Granularity and the development of concurrent programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  3. Cliff B. Jones
    Fixing the semantics of some concurrent object-oriented concepts. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  4. Neil D. Jones
    Complexity and computability from a programming language perspective. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  5. Achim Jung, Hermann Puhlmann
    Types, logic and semantics for nested databases. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  6. François Lamarche
    Generalizing coherent domains and hypercoherences. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  7. John Maraist, Martin Odersky, David N. Turner, Philip Wadler
    Call-by-name, call-by-value, call-by-need and the linear lambda calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  8. Michael W. Mislove
    Denotational models for unbounded nondeterminism. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  9. Ugo Montanari, Marco Pistore
    Concurrent semantics for the pi-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  10. Kay-Jeannette Nuessler
    Universality and powerdomains. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  11. Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
    Syntactic control of interference revisited. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  12. Peter W. O'Hearn, Uday S. Reddy
    Objects, interference and the Yoneda embedding. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  13. Frank Pfenning, Hao-Chi Wong
    On a modal lambda calculus for S4. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  14. Alan Jeffrey
    A fully abstract semantics for a nondeterministic functional language with monadic types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  15. Bart Jacobs
    Subtypes and bounded quantification from a fibred perspective. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  16. Douglas N. Hoover
    Maximal limit spaces, powerspaces, and Scott domains. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  17. Karen L. Bernstein, Eugene W. Stark
    Operational semantics of a focusing debugger. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  18. Gérard Boudol, Cosimo Laneve
    Termination, deadlock and divergence in the lambda-calculus with multiplicities. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  19. Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
    Foreword and Dedication. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  20. J. Robin B. Cockett, David A. Spooner
    Categories for synchrony and asynchrony. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  21. Krishna Kishore Dhara, Gary T. Leavens
    Weak behavioral subtyping for types with mutable objects. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  22. Abbas Edalat
    Domain theory in learning processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  23. Jonathan Eifrig, Scott F. Smith, Valery Trifonov
    Type inference for recursively constrained types and its application to OOP. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  24. Zoltán Ésik, L. Bernátsky
    Scott induction and equational proofs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  25. Bob Flagg, Ralph Kopperman
    Fixed points and reflexive domain equations in categories of continuity spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  26. Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
    Bireflectivity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  27. Philippa Gardner
    A name-free account of action calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  28. Andrew D. Gordon
    Bisimilarity as a theory of functional programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  29. Michel P. Schellekens
    The Smyth completion: a common foundation for denotational semantics and complexity analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, 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