( en | de | ru )

 

Disambiguierung von "Codish, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.

, , und . ICLP, Seite 79-93. MIT Press, (1991)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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)

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)
 

Weitere Publikationen von Autoren mit dem selben Namen

Breaking Symmetries in Graph Representation., , , und . IJCAI, Seite 510-516. IJCAI/AAAI, (2013)Bottom-up Abstract Interpretation of Logic Programs., , und . Theor. Comput. Sci., 124 (1): 93-125 (1994)Proving Implications by Algebraic Approximation., und . Theor. Comput. Sci., 165 (1): 57-74 (1996)Using Safe Approximations of Fixed Points for Analysis of Logic Programs., , und . META, Seite 233-261. MIT Press, (1988)Sharing Analysis for Logic Programs using Set Logic Programs., , und . APPIA-GULP-PRODE, Seite 29-40. (1996)Modeling Prolog Control., , , und . POPL, Seite 95-104. ACM Press, (1992)Meta-circular Abstract Interpretation in Prolog., und . The Essence of Computation, Volume 2566 von Lecture Notes in Computer Science, Seite 109-134. Springer, (2002)An Algebraic Approach to Sharing Analysis of Logic Programs., , und . SAS, Volume 1302 von Lecture Notes in Computer Science, Seite 68-82. Springer, (1997)Compiling Model-Based Diagnosis to Boolean Satisfaction., , , und . AAAI, Seite 793-799. AAAI Press, (2012)SAT-Based Techniques for Lexicographically Smallest Finite Models., , , , und . AAAI, Seite 8048-8056. AAAI Press, (2024)