( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Meta-circular Abstract Interpretation in Prolog.

, и . The Essence of Computation, том 2566 из Lecture Notes in Computer Science, стр. 109-134. 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 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)
 

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

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)Logic Programming with Satisfiability, , и . CoRR, (2007)Compiling OR-parallelism into AND-parallelism., и . New Generation Comput., 5 (1): 45-61 (1987)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)Computing the Ramsey Number R(4, 3, 3) using Abstraction and Symmetry breaking., , , и . CoRR, (2015)Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables., , и . ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, (1994)