 | 2007 |
|---|
| 11 |       | Lars-Henrik Eriksson:
The GTO Toolset and Method.
Electr. Notes Theor. Comput. Sci. 185: 77-91 (2007) |
| 2004 |
|---|
| 10 | | Lars-Henrik Eriksson:
Using Formal Methods in a Retrospective Safety Case.
SAFECOMP 2004: 31-44 |
| 2002 |
|---|
| 9 |  | Lars-Henrik Eriksson,
Peter A. Lindsay:
FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings
Springer 2002 |
| 1994 |
|---|
| 8 | | Lars-Henrik Eriksson:
Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions.
CADE 1994: 821-825 |
| 1993 |
|---|
| 7 | | Lars-Henrik Eriksson:
Finitary Partial Inductive Definitions as a General Logic.
ELP 1993: 94-119 |
| 1992 |
|---|
| 6 | | Lars-Henrik Eriksson,
Lars Hallnäs,
Peter Schroeder-Heister:
Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings
Springer 1992 |
| 1991 |
|---|
| 5 | | Lars-Henrik Eriksson:
A Finitary Version of the Calculus of Partial Inductive Defintions.
ELP 1991: 89-134 |
| 4 | | Martin Aronsson,
Lars-Henrik Eriksson:
The GCLA II Programming Language.
PDK 1991: 399-401 |
| 1989 |
|---|
| 3 | | Martin Aronsson,
Lars-Henrik Eriksson,
Lars Hallnäs,
Per Kreuger:
A Survey of GCLA: A Definitional Approach to Logic Programming.
ELP 1989: 49-99 |
| 2 | | Martin Aronsson,
Lars-Henrik Eriksson,
Anette Gäredal,
Lars Hallnäs,
P. Olin:
GCLA: Generalized Horn Clauses as a Programming Language.
SCAI 1989: 873-887 |
| 1984 |
|---|
| 1 | | Lars-Henrik Eriksson:
Synthesis of a Unification Algorithm in a Logic Programming Calculus.
J. Log. Program. 1(1): 3-18 (1984) |
