( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Survey of GCLA: A Definitional Approach to Logic Programming.

, , , и . ELP, том 475 из Lecture Notes in Computer Science, стр. 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.

Lars Henrik Gass

Lars-Henrik Witt

Lars-Henrik Rode

Lars Henrik Budäus

Lars Henrik Peeck

 

Другие публикации лиц с тем же именем

Specifying Railway Interlocking Requirements for Practical Use.. SAFECOMP, стр. 243-249. Springer, (1996)A Survey of GCLA: A Definitional Approach to Logic Programming., , , и . ELP, том 475 из Lecture Notes in Computer Science, стр. 49-99. Springer, (1989)A Finitary Version of the Calculus of Partial Inductive Defintions.. ELP, том 596 из Lecture Notes in Computer Science, стр. 89-134. Springer, (1991)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, том 798 из Lecture Notes in Computer Science, стр. 94-119. Springer, (1993)Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions.. CADE, том 814 из Lecture Notes in Computer Science, стр. 821-825. Springer, (1994)Modal Logics for Nominal Transition Systems., , , , и . Log. Methods Comput. Sci., (2021)GCLA: Generalized Horn Clauses as a Programming Language., , , , и . SCAI, том 4 из Frontiers in Artificial Intelligence and Applications, стр. 873-887. IOS Press, (1989)Modal Logics for Nominal Transition Systems., , , , и . CoRR, (2019)Using Formal Methods in a Retrospective Safety Case.. SAFECOMP, том 3219 из Lecture Notes in Computer Science, стр. 31-44. Springer, (2004)