( en | de | ru )

 

Disambiguierung von "Vardi, Moshe Y."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On computing minimal independent support and its applications to sampling and counting.

, , , und . Constraints An Int. J., 21 (1): 41-58 (2016)

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.

Amir Moshe

Max Mosheim

Assaf Vardi

Lily Vardimon

Moshe Pinus

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Properties of Join Dependencies., und . Advances in Data Base Theory, Seite 25-71. New York, Plemum Press, (1979)Implementing Knowledge-Based Programs.. TARK, Seite 15-30. Morgan Kaufmann, (1996)An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report), und . LICS, Seite 332-344. IEEE Computer Society, (1986)Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report., und . TARK, Seite 187-206. Morgan Kaufmann, (1986)The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge., , , und . TARK, Seite 229-244. Morgan Kaufmann, (1992)An automata-theortetic approach to modular model checking., und . ACM Trans. Program. Lang. Syst., 22 (1): 87-128 (2000)Weak alternating automata are not that weak., und . ACM Trans. Comput. Log., 2 (3): 408-429 (2001)Openism, IPism, fundamentalism, and pragmatism.. Commun. ACM, 57 (8): 5 (2014)In Memoriam Paris C. Kanellakis., , , , und . ACM Comput. Surv., 28 (1): 3-15 (1996)Globalization, computing, and their political impact.. Commun. ACM, 59 (11): 5 (2016)