Home Advanced Search

Advanced Search - Page 1

Communications of the ACM - September 2016

PDF
English
Year: 2016
Author: Moshe Y. Vardi (Editor-in-Chief)

Reasoning About Knowledge

PDF
English
Year: 1995
Author: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

PDF
English
Year: 1995
Author: Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

DJVU
English
Year: 1995
Author: Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

PDF
English
Year: 1984
Author: Ronald Fagin, Moshe Y. Vardi (auth.), Jan Paredaens (eds.)

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

PDF
English
Year: 2005
Author: Moshe Y. Vardi (auth.), Thomas Eiter, Leonid Libkin (eds.)

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

DJVU
English
Year: 2005
Author: Moshe Y. Vardi (auth.), Thomas Eiter, Leonid Libkin (eds.)

Reasoning About Knowledge

PDF
English
Year: 2004
Author: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Vardi

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

DJVU
English
Year: 1984
Author: Ronald Fagin, Moshe Y. Vardi (auth.), Jan Paredaens (eds.)

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

PDF
English
Year: 2001
Author: Moshe Y. Vardi (auth.), Tiziana Margaria, Wang Yi (eds.)