Showing 1 - 7 results of 7 for search 'Vardi, Moshe Y.', query time: 0.02s Refine Results
  1. 1
    Reasining about Knowledge
    Book
  2. 2
    Finite Model Theory and Its Applications
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
    Published 1987
    Other Authors: “…Vardi, Moshe Y.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
    Published 1992
    Other Authors: “…Vardi, Moshe Y.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 5
    Database Theory ICDT '95 Proceedings of the 5th International Conference Prague, Gzech Republic, January 11-13, 1995
    Published 1995
    Other Authors: “…Vardi, Moshe Y.…”
    Book
  6. 6
    Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /
    Published 2002
    Other Authors: “…Vardi, Moshe Y.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
    Published 1998
    Other Authors: “…Vardi, Moshe Y.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search