Zum Inhalt springen

  2. Fagin, Ronald [VerfasserIn]; Halpern, Joseph Y. [VerfasserIn]; Moses, Yoram [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn]

    Reasoning about knowledge - [First MIT Press paperback edition]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge, Massachusetts; London, England: MIT Press, 2003

  9. Vardi, Moshe Y. [VerfasserIn]

    Boolean Satisfiability: Theory and Engineering

    Videos
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Banff International Research Station (BIRS) for Mathematical Innovation and Discovery, 2018

    Erschienen in: Theory and Practice of Satisfiability Solving (18w5208) ; (Jan. 2018) -

  10. Vardi, Moshe Y. [VerfasserIn] ; Voronkov, Andrei [Sonstige Person, Familie und Körperschaft]

    Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 285000

  11. Vardi, Moshe Y. [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Management of Data, ACM Special Interest Group on Operating Systems

    Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 1987

    Erschienen in: ACM Digital Library- ACM Conferences

  14. Peled, Doron [VerfasserIn] ; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]

    Formal Techniques for Networked and Distributed Sytems — FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: IFIP International Federation for Information Processing, 2002

    Erschienen in: Lecture notes in computer science ; 2529

  15. Hu, Alan J. [VerfasserIn] ; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]

    Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

    Erschienen in: Lecture notes in computer science ; 1427

  16. Gottlob, Georg [VerfasserIn] ; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

    Erschienen in: Lecture notes in computer science ; 893

  17. Li, Yong [VerfasserIn]; Schewe, Sven [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn] ; Yong Li and Sven Schewe and Moshe Y. Vardi [MitwirkendeR]

    Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  18. Mehlhorn, Kurt [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn]; Herbstritt, Marc [VerfasserIn] ; Kurt Mehlhorn and Moshe Y. Vardi and Marc Herbstritt [MitwirkendeR]

    Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013

  19. Lustig, Yoad [VerfasserIn]; Nain, Sumit [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn] ; Yoad Lustig and Sumit Nain and Moshe Y. Vardi [MitwirkendeR]

    Synthesis from Probabilistic Components

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  20. Mogavero, Fabio [VerfasserIn]; Murano, Aniello [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn] ; Fabio Mogavero and Aniello Murano and Moshe Y. Vardi [MitwirkendeR]

    Reasoning About Strategies

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010