Lars-Henrik Eriksson

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ single authored publications

> Home > Persons > Lars-Henrik Eriksson

Publications

2006
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Eriksson07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Eriksson07
Lars-Henrik Eriksson:
The GTO Toolset and Method. AVoCS 2006: 77-91
2004
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/Eriksson04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/Eriksson04
Lars-Henrik Eriksson:
Using Formal Methods in a Retrospective Safety Case. SAFECOMP 2004: 31-44
1996
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/Eriksson96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/Eriksson96
Lars-Henrik Eriksson:
Specifying Railway Interlocking Requirements for Practical Use. SAFECOMP 1996: 243-249
1994
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Eriksson94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Eriksson94
Lars-Henrik Eriksson:
Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions. CADE 1994: 821-825
1993
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/elp/Eriksson93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/Eriksson93
Lars-Henrik Eriksson:
Finitary Partial Inductive Definitions as a General Logic. ELP 1993: 94-119
1991
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/elp/Eriksson91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elp/Eriksson91
Lars-Henrik Eriksson:
A Finitary Version of the Calculus of Partial Inductive Defintions. ELP 1991: 89-134
1984
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Eriksson84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Eriksson84
Lars-Henrik Eriksson:
Synthesis of a Unification Algorithm in a Logic Programming Calculus. J. Log. Program. 1(1): 3-18 (1984)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.