( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reuse of Results in Termination Analysis of Typed Logic Programs.

, , , и . SAS, том 2477 из Lecture Notes in Computer Science, стр. 477-492. Springer, (2002)

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 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)

Michael Schoierer

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

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

The DNA Word Design Problem: A New Constraint Model and New Results., , и . IJCAI, стр. 585-591. ijcai.org, (2017)Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop., и . SAS, том 864 из Lecture Notes in Computer Science, стр. 281-296. Springer, (1994)Pairwise Cardinality Networks., и . LPAR (Dakar), том 6355 из Lecture Notes in Computer Science, стр. 154-172. Springer, (2010)Telecommunications Feature Subscription as a Partial Order Constraint Problem., , и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 749-753. Springer, (2008)Propagation = Lazy Clause Generation., , и . CP, том 4741 из Lecture Notes in Computer Science, стр. 544-558. Springer, (2007)Incremental Symmetry Breaking Constraints for Graph Search Problems., и . AAAI, стр. 1536-1543. AAAI Press, (2020)XSB as the Natural Habitat for General Purpose Program Analysis., , и . ICLP, стр. 416. MIT Press, (1997)The Def-inite Approach to Dependency Analysis., и . ESOP, том 2028 из Lecture Notes in Computer Science, стр. 417-432. Springer, (2001)Freeness Analysis in the Presence of Numerical Constraints., , , и . ICLP, стр. 100-115. MIT Press, (1993)Sharing Analysis Using Set Logic Programs., , и . ICLP, стр. 417. MIT Press, (1997)