( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A complete refinement procedure for regular separability of context-free languages.

, , , , и . Theor. Comput. Sci., (2016)

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 Brisgen

Harald Obermaier

Harald Klein

Harald Weide

 

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

An Optimizing Compiler for CLP(R)., , , , , и . CP, том 976 из Lecture Notes in Computer Science, стр. 222-239. Springer, (1995)Leveraging abstract interpretation for efficient dynamic symbolic execution., , и . ASE, стр. 619-624. IEEE Computer Society, (2017)Using Metamorphic Testing to Improve Dynamic Symbolic Execution., , и . ASWEC, стр. 38-47. IEEE Computer Society, (2015)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)Fragment-Based Planning Using Column Generation., , , и . ICAPS, AAAI, (2014)Denotational Abstract Interpretation of Logic Programs., , и . ACM Trans. Program. Lang. Syst., 16 (3): 607-648 (1994)Precise and Efficient Groundness Analysis for Logic Programs., и . LOPLAS, 2 (1-4): 181-196 (1993)Meta-circular Abstract Interpretation in Prolog., и . The Essence of Computation, том 2566 из Lecture Notes in Computer Science, стр. 109-134. Springer, (2002)An Experiment in Partial Evaluation: The Generation of a Compiler Generator., , и . RTA, том 202 из Lecture Notes in Computer Science, стр. 124-140. Springer, (1985)