
Search the dblp DataBase
LarsHenrik Eriksson:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 LarsHenrik Eriksson
Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:821825 [Conf]
 Martin Aronsson, LarsHenrik Eriksson, Lars Hallnäs, Per Kreuger
A Survey of GCLA: A Definitional Approach to Logic Programming. [Citation Graph (0, 0)][DBLP] ELP, 1989, pp:4999 [Conf]
 LarsHenrik Eriksson
A Finitary Version of the Calculus of Partial Inductive Defintions. [Citation Graph (0, 0)][DBLP] ELP, 1991, pp:89134 [Conf]
 LarsHenrik Eriksson
Finitary Partial Inductive Definitions as a General Logic. [Citation Graph (0, 0)][DBLP] ELP, 1993, pp:94119 [Conf]
 Martin Aronsson, LarsHenrik Eriksson
The GCLA II Programming Language. [Citation Graph (0, 0)][DBLP] PDK, 1991, pp:399401 [Conf]
 LarsHenrik Eriksson
Using Formal Methods in a Retrospective Safety Case. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2004, pp:3144 [Conf]
 Martin Aronsson, LarsHenrik 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:873887 [Conf]
 LarsHenrik 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:318 [Journal]
 LarsHenrik Eriksson
The GTO Toolset and Method. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:185, n:, pp:7791 [Journal]
Search in 0.002secs, Finished in 0.002secs
