The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lars-Henrik Eriksson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lars-Henrik Eriksson
    Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:821-825 [Conf]
  2. Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger
    A Survey of GCLA: A Definitional Approach to Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:49-99 [Conf]
  3. Lars-Henrik Eriksson
    A Finitary Version of the Calculus of Partial Inductive Defintions. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:89-134 [Conf]
  4. Lars-Henrik Eriksson
    Finitary Partial Inductive Definitions as a General Logic. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:94-119 [Conf]
  5. Martin Aronsson, Lars-Henrik Eriksson
    The GCLA II Programming Language. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:399-401 [Conf]
  6. Lars-Henrik Eriksson
    Using Formal Methods in a Retrospective Safety Case. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2004, pp:31-44 [Conf]
  7. Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, P. Olin
    GCLA: Generalized Horn Clauses as a Programming Language. [Citation Graph (0, 0)][DBLP]
    SCAI, 1989, pp:873-887 [Conf]
  8. Lars-Henrik Eriksson
    Synthesis of a Unification Algorithm in a Logic Programming Calculus. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1984, v:1, n:1, pp:3-18 [Journal]
  9. Lars-Henrik Eriksson
    The GTO Toolset and Method. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:185, n:, pp:77-91 [Journal]

Search in 0.002secs, Finished in 0.002secs
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