(Q1585964)
Statements
1 reference
0 references
September 1981
August 1983
0 references
0 references
0 references
0 references
1 reference
1 November 2018
2 references
24 November 2022
24 November 2022
2000
2005
For the development of automata-theoretic techniques for reactive-systems verification, and the practical realization of powerful formal-verification tools based on these techniques. (English)
1 reference
24 December 2022
2012
1 reference
24 December 2022
1 reference
24 December 2022
1 reference
2004
1 reference
24 December 2022
2000
For contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems. (English)
2019
1 November 2018
For contributions to the development and use of mathematical logic in computer science. (English)
2 references
24 November 2022
24 November 2022
1 reference
2015
Moshe Y. Vardi
For contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems. (English)
1 reference
3
0 references
Moshe Vardi
0 references
Identifiers
1 reference
1 reference
Sitelinks
Wikipedia(10 entries)
- dewiki Moshe Y. Vardi
- enwiki Moshe Vardi
- frwiki Moshe Vardi
- hewiki משה ורדי (מדען מחשב)
- itwiki Moshe Vardi
- mgwiki Moshe Vardi
- ruwiki Варди, Моше
- thwiki โมเช วาย. วาดิ
- ukwiki Моше Варді
- zhwiki 摩西·瓦尔迪
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Moshe Vardi