Zum Hauptinhalt springen
UB Siegen

Suchergebnisse

Katalog

Aufsätze & mehr
17 Treffer

Suchmaske

Suchtipp für den Bereich Aufsätze & 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 / Notation".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

17 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    O-Minimal Invariants for Discrete-Time Dynamical Systems
    Almagor, Shaull ; Chistikov, Dmitry ; et al.
    In: ACM Transactions on Computational Logic (TOCL), Jg. 23 (2022-01-14), Heft 2, S. 1-20
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Kripke Semantics for Intersection Formulas
    Dudenhefner, Andrej ; Urzyczyn, Paweł
    In: ACM Transactions on Computational Logic (TOCL), Jg. 22 (2021-06-28), Heft 3, S. 1-16
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Model-Checking on Ordered Structures
    Eickmeyer, Kord ; Heuvel, Jan van den ; et al.
    In: ACM Transactions on Computational Logic (TOCL), Jg. 21 (2020-03-03), Heft 2, S. 1-28
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems
    Clemente, Lorenzo ; Lasota, Sławomir ; et al.
    In: ACM Transactions on Computational Logic (TOCL), Jg. 20 (2019-05-31), Heft 3, S. 1-31
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Monadic Second-Order Logic with Arbitrary Monadic Predicates
    Fijalkow, Nathanaël ; Paperman, Charles
    In: ACM Transactions on Computational Logic (TOCL), Jg. 18 (2017-08-18), Heft 3, S. 1-17
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Collapsible Pushdown Automata and Recursion Schemes
    Hague, Matthew ; Murawski, Andrzej S. ; et al.
    In: ACM Transactions on Computational Logic (TOCL), Jg. 18 (2017-08-11), Heft 3, S. 1-42
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    How Hard Is Positive Quantification?
    Schubert, Aleksy ; Urzyczyn, Paweł ; et al.
    In: ACM Transactions on Computational Logic (TOCL), Jg. 17 (2016-11-03), Heft 4, S. 1-29
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Correctness and Completeness of Logic Programs
    Drabent, Włodzimierz
    In: ACM Transactions on Computational Logic (TOCL), Jg. 17 (2016-05-18), Heft 3, S. 1-32
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    On the Variable Hierarchy of First-Order Spectra
    Kopczyński, Eryk ; Tan, Tony
    In: ACM Transactions on Computational Logic (TOCL), Jg. 16 (2015-04-02), Heft 2, S. 1-12
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    A Generalized QSQR Evaluation Method for Horn Knowledge Bases
    Madalińska-Bugaj, Ewa ; Nguyen, Linh Anh
    In: ACM Transactions on Computational Logic (TOCL), Jg. 13 (2012-10-01), Heft 4, S. 1-28
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Safety alternating automata on data words
    Lazić, Ranko
    In: ACM Transactions on Computational Logic (TOCL), Jg. 12 (2011-01-27), Heft 2, S. 1-24
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    LTL with the freeze quantifier and register automata
    Demri, Stéphane ; Lazić, Ranko
    In: ACM Transactions on Computational Logic (TOCL), Jg. 10 (2009-04-08), Heft 3, S. 1-30
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Alternating timed automata
    Lasota, Slawomir ; Walukiewicz, Igor
    In: ACM Transactions on Computational Logic (TOCL), Jg. 9 (2008-04-07), Heft 2, S. 1-27
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Substructural logic and partial correctness
    Kozen, Dexter ; Tiuryn, Jerzy
    In: ACM Transactions on Computational Logic (TOCL), Jg. 4 (2003-07-01), Heft 3, S. 355-378
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Fixed-parameter complexity of semantics for logic programs
    Lonc, Zbigniew ; Truszczyński, Miroslaw
    In: ACM Transactions on Computational Logic (TOCL), Jg. 4 (2003), Heft 1, S. 91-119
    Online academicJournal
    Zugriff:
    Zum Volltext
    Zum Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    First-order interpretations of bounded expansion classes
    Gajarsk?, Jakub ; Kreutzer, Stephan ; et al.
    In: ACM Transactions on Computational Logic (TOCL)
    Online academicJournal
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    A New Perspective on FO Model Checking of Dense Graph Classes
    Gajarský, Jakub ; Obdrzalek, Jan ; et al.
    In: ACM Transactions on Computational Logic (TOCL)
    Online academicJournal
    Zugriff:
    Zum Volltext
    Wie komme ich dran?

Elektronische Zeitschriften

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