Lars-Henrik Eriksson

Publication Activity (10 Years)

Years Active: 1984-2021
Publications (10 Years): 5

Top Topics

Transition Systems

Decision Procedures

Top Venues

Arch. Formal Proofs

Publications

Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
Modal Logics for Nominal Transition Systems. Log. Methods Comput. Sci. 17 (1) (2021)
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
Modal Logics for Nominal Transition Systems. CoRR (2019)
Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson
Weak Nominal Modal Logic. FORTE (2017)
Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström, Ramunas Gutkovas
Modal Logics for Nominal Transition Systems. Arch. Formal Proofs 2016 (2016)
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber
Modal Logics for Nominal Transition Systems. CONCUR (2015)
Lars-Henrik Eriksson
The GTO Toolset and Method. Electron. Notes Theor. Comput. Sci. 185 (2007)
Lars-Henrik Eriksson
Using Formal Methods in a Retrospective Safety Case. SAFECOMP (2004)
Lars-Henrik Eriksson
Specifying Railway Interlocking Requirements for Practical Use. SAFECOMP (1996)
Lars-Henrik Eriksson
Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions. CADE (1994)
Lars-Henrik Eriksson
Finitary Partial Inductive Definitions as a General Logic. ELP (1993)
Martin Aronsson, Lars-Henrik Eriksson
The GCLA II Programming Language. PDK (1991)
Lars-Henrik Eriksson
A Finitary Version of the Calculus of Partial Inductive Defintions. ELP (1991)
Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin
The programming language GCLA - A definitional approach to logic programming. New Gener. Comput. 7 (4) (1990)
Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger
A Survey of GCLA: A Definitional Approach to Logic Programming. ELP (1989)
Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin
GCLA: Generalized Horn Clauses as a Programming Language. SCAI (1989)
Lars-Henrik Eriksson
Synthesis of a Unification Algorithm in a Logic Programming Calculus. J. Log. Program. 1 (1) (1984)