Zum Inhalt springen

  1. Alagar, Vangalur S. [HerausgeberIn]; Bergler, S. [Sonstige Person, Familie und Körperschaft]; Dong, F. [Sonstige Person, Familie und Körperschaft] ; Workshop on Incompleteness and Uncertainty in Information Systems 1993 Montréal, Concordia University, Incompleteness and uncertainty in information systems 1993, Montreal, Canada

    Incompleteness and uncertainty in information systems : proceedings of the SOFTEKS workshop on incompleteness and uncertainty in information systems, Concordia University, Montreal, Canada, 8 - 9 October 1993

    Bücher
    Schließen

    Merkliste

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

    London; Berlin; Heidelberg; New York; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer, 1994

    Erschienen in: Workshops in computing

  2. Kirst, Dominik [VerfasserIn]; Peters, Benjamin [VerfasserIn] ; Dominik Kirst and Benjamin Peters [MitwirkendeR]

    Gödel’s Theorem Without Tears - Essential Incompleteness in Synthetic Computability

    Aufsätze
    Online ansehen
    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

  3. Abiteboul, Serge [VerfasserIn]; Deutsch, Alin [VerfasserIn]; Schwentick, Thomas [VerfasserIn]; Segoufin, Luc [VerfasserIn] ; Serge Abiteboul and Alin Deutsch and Thomas Schwentick and Luc Segoufin [MitwirkendeR]

    Foundations of distributed data management (Dagstuhl Seminar 11421)

    Aufsätze
    Online ansehen
    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, 2012

  4. Carraro, Alberto [VerfasserIn]; Salibra, Antonino [VerfasserIn] ; Alberto Carraro and Antonino Salibra [MitwirkendeR]

    On the equational consistency of order-theoretic models of the lambda-calculus

    Aufsätze
    Online ansehen
    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, 2012

  5. Ascari, Guido [VerfasserIn]; Mavroeidis, Sophocles [VerfasserIn]; McClung, Nigel [VerfasserIn]

    Coherence without rationality at the ZLB

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Amsterdam, The Netherlands: De Nederlandsche Bank NV, [2023]

    Erschienen in: De Nederlandsche Bank: DNB working papers ; 784

  6. Ascari, Guido [VerfasserIn]; Mavroeidis, Sophocles [VerfasserIn]; McClung, Nigel [VerfasserIn]

    Coherence without rationality at the ZLB

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Pavia: Università di Pavia, Department of Economics and Management, [2023]

    Erschienen in: DEM working paper series ; 212