( en | de | ru )

 

Disambiguation of "Eriksson, Lars-Henrik"

Author of the publication

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

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

Synthesis of a Unification Algorithm in a Logic Programming Calculus.. J. Log. Program., 1 (1): 3-18 (1984)Specifying Railway Interlocking Requirements for Practical Use.. SAFECOMP, page 243-249. Springer, (1996)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)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)Finitary Partial Inductive Definitions as a General Logic.. ELP, volume 798 of Lecture Notes in Computer Science, page 94-119. Springer, (1993)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)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)