The SCEAS System
Navigation Menu

Journals in DBLP

Formal Asp. Comput.
2002, volume: 13, number: 3-5

  1. David E. Rydeheard, Donald Sannella
    A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:187-193 [Journal]
  2. Eleanor Kerse
    Ode to Rod Burstall. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:194- [Journal]
  3. Peter J. Landin
    Rod Burstall: A Personal Note. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:195- [Journal]
  4. Robin J. Popplestone
    POP, A Broad-Spectrum Programming Language, 1967-2002. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:196-213 [Journal]
  5. David B. MacQueen
    Should ML be Object-Oriented? [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:214-232 [Journal]
  6. Alberto Pettorossi, Maurizio Proietti
    The List Introduction Strategy for the Derivation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:233-251 [Journal]
  7. Michel Bidoit, Donald Sannella, Andrzej Tarlecki
    Architectural Specifications in CASL. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:252-273 [Journal]
  8. Joseph A. Goguen, Grigore Rosu
    Institution Morphisms. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:274-307 [Journal]
  9. Edmund Robinson
    Variations on Algebra: Monadicity and Generalisations of Equational Theories. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:308-326 [Journal]
  10. James J. Leifer, Robin Milner
    Shallow Linear Action Graphs and their Embeddings. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:327-340 [Journal]
  11. Murdoch Gabbay, Andrew M. Pitts
    A New Approach to Abstract Syntax with Variable Binding. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:341-363 [Journal]
  12. Gordon D. Plotkin
    Three Inadequate Models. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:364-385 [Journal]
  13. Robert Pollack
    Dependently Typed Records in Type Theory. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:386-402 [Journal]
  14. Jon Whittle, Alan Bundy, Richard J. Boulton
    Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:403-421 [Journal]
  15. Henk Barendregt
    The Ancient Theory of Mind. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:422-429 [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