dblp.uni-trier.dewww.uni-trier.de

Lars-Henrik Eriksson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
11EELars-Henrik Eriksson: The GTO Toolset and Method. Electr. Notes Theor. Comput. Sci. 185: 77-91 (2007)
2004
10EELars-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
8EELars-Henrik Eriksson: Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions. CADE 1994: 821-825
1993
7EELars-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
5EELars-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
3EEMartin 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)

Coauthor Index

1Martin Aronsson [2] [3] [4]
2Anette Gäredal [2]
3Lars Hallnäs [2] [3] [6]
4Per Kreuger [3]
5Peter A. Lindsay [9]
6P. Olin [2]
7Peter Schroeder-Heister [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)