( en | de | ru )

 

Disambiguierung von "Vardi, Moshe Y."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Proof-Tree Transformation Theorems and Their Applications.

, , , und . PODS, Seite 172-181. ACM Press, (1989)

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

Response to a Letter to the Editor.. IEEE Software, 5 (4): 4-6 (1988)An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report), und . LICS, Seite 332-344. IEEE Computer Society, (1986)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)Has the innovation cup run dry?. Commun. ACM, 56 (9): 5 (2013)The moral hazard of complexity-theoretic assumptions.. Commun. ACM, 59 (2): 5 (2016)Technology has social consequences.. Commun. ACM, 54 (5): 5 (2011)In Memoriam Paris C. Kanellakis., , , , und . ACM Comput. Surv., 28 (1): 3-15 (1996)More debate, please!. Commun. ACM, 53 (1): 5 (2010)