Concepedia

Lars-Henrik Eriksson

LE

Statistics

Publications

4

Citations

72

H-Index

4

Active since

1984

Affiliations

Uppsala University(Current)

Swedish Institute

Lars-Henrik Eriksson is an author at Uppsala University specializing in computer science, logic, and computing.

ORCID

Publications per year

1984–2015

4

Publications

4

The programming language GCLA — A definitional approach to logic programming

Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal et al. · New Generation Computing · 1990 · 25 citations · Full text

, , +9

Modal Logics for Nominal Transition Systems

Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 17 citations · Full text

, , +16

A finitary version of the calculus of partial inductive definitions

Lars-Henrik Eriksson · 1992 · 17 citations · Full text

, , +13

Synthesis of a unification algorithm in a logic programming calculus

Lars-Henrik Eriksson · The Journal of Logic Programming · 1984 · 13 citations

, , +11

1–4 of 4