( en | de | ru )

 

Disambiguation of "Eriksson, Lars-Henrik"

Author of the publication

copydeleteadd this publication to your clipboard
Modal Logics for Nominal Transition Systems.

, , , , and . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lars Henrik Gass

Lars-Henrik Witt

Lars-Henrik Rode

Lars Henrik Budäus

Lars Henrik Peeck

 

Other publications of authors with the same name

A Survey of GCLA: A Definitional Approach to Logic Programming., , , and . ELP, volume 475 of Lecture Notes in Computer Science, page 49-99. Springer, (1989)A Finitary Version of the Calculus of Partial Inductive Defintions.. ELP, volume 596 of Lecture Notes in Computer Science, page 89-134. Springer, (1991)Specifying Railway Interlocking Requirements for Practical Use.. SAFECOMP, page 243-249. Springer, (1996)Synthesis of a Unification Algorithm in a Logic Programming Calculus.. J. Log. Program., 1 (1): 3-18 (1984)Finitary Partial Inductive Definitions as a General Logic.. ELP, volume 798 of Lecture Notes in Computer Science, page 94-119. Springer, (1993)Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions.. CADE, volume 814 of Lecture Notes in Computer Science, page 821-825. Springer, (1994)Modal Logics for Nominal Transition Systems., , , , and . Log. Methods Comput. Sci., (2021)GCLA: Generalized Horn Clauses as a Programming Language., , , , and . SCAI, volume 4 of Frontiers in Artificial Intelligence and Applications, page 873-887. IOS Press, (1989)Modal Logics for Nominal Transition Systems., , , , and . CoRR, (2019)Using Formal Methods in a Retrospective Safety Case.. SAFECOMP, volume 3219 of Lecture Notes in Computer Science, page 31-44. Springer, (2004)