( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Precise and Efficient Groundness Analysis for Logic Programs.

, и . LOPLAS, 2 (1-4): 181-196 (1993)

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.

Harald Bertram

Moderne kathetergesteuerte Diagnostik und Therapie kongenitaler kardiovaskulärer Anomalien. MedH Hannover, habilitation, (2009)

Harald Schelcher

Harald Quidde

Harald Siemenroth

Harald Verschuer

 

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

A Characterization of Non-Floundering Logic Programs., , и . NACLP, стр. 661-680. MIT Press, (1990)Analysis of Constraint Logic Programs., и . NACLP, стр. 531-547. MIT Press, (1990)Fragment-Based Planning Using Column Generation., , , и . ICAPS, AAAI, (2014)A Practical Object-Oriented Analysis Engine for CLP., , и . Softw. Pract. Exp., 28 (2): 199-224 (1998)An experiment in partial evaluation: the generation of a compiler generator., , и . ACM SIGPLAN Notices, 20 (8): 82-87 (1985)Referential Transparency, Definiteness and Unfoldability, и . Acta Informaticæ, 27 (6): 505-517 (1989)Meta-circular Abstract Interpretation in Prolog., и . The Essence of Computation, том 2566 из Lecture Notes in Computer Science, стр. 109-134. Springer, (2002)Termination Analysis for Mercury., , и . SAS, том 1302 из Lecture Notes in Computer Science, стр. 160-171. Springer, (1997)Denotational Abstract Interpretation of Logic Programs., , и . ACM Trans. Program. Lang. Syst., 16 (3): 607-648 (1994)Sharing and groundness dependencies in logic programs., , и . ACM Trans. Program. Lang. Syst., 21 (5): 948-976 (1999)