( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Improving Abstract Interpretations by Combining Domains.

, , , , и . ACM Trans. Program. Lang. Syst., 17 (1): 28-44 (1995)

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.

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)

Michael Bernateck

Komplexes Regionales Schmerzsyndrom Typ 1 (M.Sudeck): neue Aspekte zur Symptomatologie, Pathogenese, Diagnostik und Therapie. MedH Hannover, habilitation, (2009)

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)
 

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

Compiling OR-parallelism into AND-parallelism., и . New Generation Comput., 5 (1): 45-61 (1987)Pairwise Cardinality Networks., и . LPAR (Dakar), том 6355 из Lecture Notes in Computer Science, стр. 154-172. Springer, (2010)Propagation = Lazy Clause Generation., , и . CP, том 4741 из Lecture Notes in Computer Science, стр. 544-558. Springer, (2007)Telecommunications Feature Subscription as a Partial Order Constraint Problem., , и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 749-753. Springer, (2008)Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop., и . SAS, том 864 из Lecture Notes in Computer Science, стр. 281-296. Springer, (1994)The DNA Word Design Problem: A New Constraint Model and New Results., , и . IJCAI, стр. 585-591. ijcai.org, (2017)Breaking symmetries in graph search with canonizing sets., и . Constraints An Int. J., 21 (3): 357-374 (2016)XSB as the Natural Habitat for General Purpose Program Analysis., , и . ICLP, стр. 416. MIT Press, (1997)Logic Programming with Satisfiability, , и . CoRR, (2007)Computing the Ramsey Number R(4, 3, 3) using Abstraction and Symmetry breaking., , , и . CoRR, (2015)