( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sharing Analysis for Logic Programs using Set Logic Programs.

, , и . APPIA-GULP-PRODE, стр. 29-40. (1996)

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)
 

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

XSB as the Natural Habitat for General Purpose Program Analysis., , и . ICLP, стр. 416. MIT Press, (1997)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)Telecommunications Feature Subscription as a Partial Order Constraint Problem., , и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 749-753. Springer, (2008)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)Sharing Analysis Using Set Logic Programs., , и . ICLP, стр. 417. MIT Press, (1997)Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables., , и . ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, (1994)Freeness Analysis in the Presence of Numerical Constraints., , , и . ICLP, стр. 100-115. MIT Press, (1993)The Def-inite Approach to Dependency Analysis., и . ESOP, том 2028 из Lecture Notes in Computer Science, стр. 417-432. Springer, (2001)