( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Exploiting Sparsity in Difference-Bound Matrices.

, , , , и . SAS, том 9837 из Lecture Notes in Computer Science, стр. 189-211. Springer, (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 Peters

Harald Kortum

Harald Frisch

Harald Aichhorn

 

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

Bottom-up Abstract Interpretation of Logic Programs., и . ICLP/SLP, стр. 733-748. MIT Press, (1988)Un-Kleene Boolean equation Solving., , и . Int. J. Found. Comput. Sci., 18 (2): 227-250 (2007)On prolog and the occur check problem., и . ACM SIGPLAN Notices, 24 (5): 76-82 (1989)Binary Decision Diagrams for Affine Approximation, , , и . CoRR, (2008)Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs., , , и . SAS, том 1145 из Lecture Notes in Computer Science, стр. 385-386. Springer, (1996)Making Connections: First Year Transition for Computer Science and Software Engineering Students., , , и . ACE, том 42 из CRPIT, стр. 229-238. Australian Computer Society, (2005)A strategy for managing content complexity in algorithm animation., , и . ITiCSE, стр. 127-130. ACM, (1999)Programming to Learn: Logic and Computation from a Programming Perspective., , и . ITiCSE (1), стр. 311-317. ACM, (2022)Transformation-Enabled Precondition Inference., , , , и . Theory Pract. Log. Program., 21 (6): 700-716 (2021)Lightweight Nontermination Inference with CHCs., , , , и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 383-402. Springer, (2021)