( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Precondition Inference via Partitioning of Initial States.

, , , , и . CoRR, (2018)

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 Rösner

Harald Gereke

Harald Taubert

Harald Voss

 

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

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)Precise and Efficient Groundness Analysis for Logic Programs., и . LOPLAS, 2 (1-4): 181-196 (1993)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)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)MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract)., , и . MFPS, том 298 из Lecture Notes in Computer Science, стр. 386-413. Springer, (1987)Abstract Interpretation of Active Rules and its Use in Termination Analysis., , , и . ICDT, том 1186 из Lecture Notes in Computer Science, стр. 188-202. Springer, (1997)