Zum Hauptinhalt springen
Hochschulbibliothek der Hochschule Düsseldorf

Suchergebnisse

Katalog

Mehr
472 Treffer

Suchmaske

Suchtipp für den Bereich Mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Sprache

Inhaltsanbieter

472 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Testing using CSP Models: Time, Inputs, and Outputs.
    BAXTER, JAMES ; CAVALCANTI, ANA ; et al.
    In: ACM Transactions on Computational Logic, Jg. 24 (2023-04-01), Heft 2, S. 1-40
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Stackelberg-Pareto Synthesis.
    Bruyère, Véronique ; Fievet, Baptiste ; et al.
    In: ACM Transactions on Computational Logic, Jg. 25 (2024-04-01), Heft 2, S. 1-49
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Characterising Modal Formulas with Examples.
    ten Cate, Balder ; Koudijs, Raoul
    In: ACM Transactions on Computational Logic, Jg. 25 (2024-04-01), Heft 2, S. 1-27
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.
    Artale, Alessandro ; Mazzullo, Andrea ; et al.
    In: ACM Transactions on Computational Logic, Jg. 25 (2024-04-01), Heft 2, S. 1-43
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    An Axiomatic Theory for Reversible Computation.
    Lanese, Ivan ; Phillips, Iain ; et al.
    In: ACM Transactions on Computational Logic, Jg. 25 (2024-04-01), Heft 2, S. 1-40
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    The Complexity of LTL Rational Synthesis.
    Kupferman, Orna ; Shenwald, Noam
    In: ACM Transactions on Computational Logic, Jg. 25 (2024-04-01), Heft 2, S. 1-31
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Spectrum of FO Logic with Quantifier Depth 4 is Finite.
    Yarovikov, Yury ; Zhukovskii, Maksim
    In: ACM Transactions on Computational Logic, Jg. 25 (2024-04-01), Heft 2, S. 1-24
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Strategic Knowledge Acquisition.
    DEUSER, KAYA ; NAUMOV, PAVEL
    In: ACM Transactions on Computational Logic, Jg. 22 (2021-09-01), Heft 3, S. 1-18
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Strategic Knowledge Acquisition.
    DEUSER, KAYA ; NAUMOV, PAVEL
    In: ACM Transactions on Computational Logic, Jg. 22 (2021-06-01), Heft 2, S. 1-18
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    On the Complexity of Model Checking Knowledge and Time.
    Bozzelli, Laura ; Maubert, Bastien ; et al.
    In: ACM Transactions on Computational Logic, Jg. 25 (2024), Heft 1, S. 1-42
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Products, Polynomials and Differential Equations in the Stream Calculus.
    Boreale, Michele ; Collodi, Luisa ; et al.
    In: ACM Transactions on Computational Logic, Jg. 25 (2024), Heft 1, S. 1-26
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Algebraic Proof Theory for LE-logics.
    Greco, Giuseppe ; Jipsen, Peter ; et al.
    In: ACM Transactions on Computational Logic, Jg. 25 (2024), Heft 1, S. 1-37
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Perspective Games.
    Kupferman, Orna ; Vardi, Gal
    In: ACM Transactions on Computational Logic, Jg. 25 (2024), Heft 1, S. 1-26
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator.
    Cantone, Domenico ; Ursino, Pietro
    In: ACM Transactions on Computational Logic, Jg. 25 (2024), Heft 1, S. 1-30
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals.
    Cristiá, Maximiliano ; Rossi, Gianfranco
    In: ACM Transactions on Computational Logic, Jg. 25 (2024), Heft 1, S. 1-34
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Comparing the Expressiveness of the π-calculus and CCS.
    van Glabbeek, Rob
    In: ACM Transactions on Computational Logic, Jg. 25 (2024), Heft 1, S. 1-58
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Extensible Proof Systems for Infinite-State Systems.
    Cleaveland, Rance ; Keiren, Jeroen J. A.
    In: ACM Transactions on Computational Logic, Jg. 25 (2024), Heft 1, S. 1-60
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Power and Limits of Structural Display Rules.
    CIABATTONI, AGATA ; RAMANAYAKE, REVANTHA
    In: ACM Transactions on Computational Logic, 2016-06-01, S. 1-39
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Power and Limits of Structural Display Rules.
    CIABATTONI, AGATA ; RAMANAYAKE, REVANTHA
    In: ACM Transactions on Computational Logic, Jg. 17 (2016-02-01), Heft 3, S. 17:1- (39S.)
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Why Liveness for Timed Automata Is Hard, and What We Can Do About It.
    HERBRETEAU, FRÉDÉRIC ; SRIVATHSAN, B. ; et al.
    In: ACM Transactions on Computational Logic, Jg. 21 (2020-03-01), Heft 3, S. 1-28
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?

Weitere Bibliothekskataloge

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -