( en | de | ru )

 

Disambiguation of "Eriksson, Lars-Henrik"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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 Budäus

Lars-Henrik Rode

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)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)The GCLA II Programming Language., and . PDK, volume 567 of Lecture Notes in Computer Science, page 399-401. Springer, (1991)The programming language GCLA - A definitional approach to logic programming., , , , and . New Generation Comput., 7 (4): 381-404 (1990)The GTO Toolset and Method.. AVoCS, volume 185 of Electronic Notes in Theoretical Computer Science, page 77-91. Elsevier, (2006)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)