Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
105 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & 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 / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Schlagwort

Verlag

Publikation

Sprache

105 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Polynomial interrupt timed automata: Verification and expressiveness
    Sassolas, Mathieu ; Picaronny, Claudine ; et al.
    2021
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    On Long Words Avoiding Zimin Patterns
    Göller, Stefan ; Carayol, Arnaud ; et al.
    2019
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Bottom-up automata on data trees and vertical XPath
    Figueira, Diego ; Segoufin, Luc ; et al.
    2017
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Reversible Causal Graph Dynamics
    Martiel, Simon ; Perdrix, Simon ; et al.
    2016
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Relating timed and register automata
    Hofman, Piotr ; Figueira, Diego ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 41 (2010-11-01), S. 61-75
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Revisiting Reachability in Polynomial Interrupt Timed Automata
    Haddad, Serge ; Bérard, Béatrice ; et al.
    2022
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Decidability of Downward XPath
    Figueira, Diego ; Laboratoire Spécification et Vérification [Cachan] ( LSV ) ; et al.
    2012
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Taming Past LTL and Flat Counter Systems
    Sangnier, Arnaud ; Demri, Stéphane ; et al.
    2012
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Alternating register automata on finite words and trees
    Halpern, Joseph Y. ; Pucella, Riccardo ; et al.
    2012
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
    Demri, Stéphane ; Sangnier, Arnaud ; et al.
    2010
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Model checking memoryful linear-time logics over one-counter automata
    Demri, Stéphane ; Sangnier, Arnaud ; et al.
    2010
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    The Effects of Bounding Syntactic Resources on Presburger LTL
    Demri, Stéphane ; Gascon, Régis ; et al.
    2009
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    An Automata-Theoretic Approach to Constraint LTL
    Demri, Stéphane ; D'Souza, Deepak ; et al.
    2007
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext) Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    LTL with the Freeze Quantifier and Register Automata
    Lazić, Ranko ; Demri, Stéphane ; et al.
    2006
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    On the freeze quantifier in Constraint LTL: decidability and complexity
    Lazić, Ranko ; Demri, Stéphane ; et al.
    2006
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Diagnosing timed automata using timed markings
    Jaziri, Samy ; Henry, Léo ; et al.
    2021
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Reachability in Distributed Memory Automata
    Bollig, Benedikt ; Ryabinin, Fedor ; et al.
    2021
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
    Leroux, Jérôme ; Praveen, M. ; et al.
    2019
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    The Well Structured Problem for Presburger Counter Machines
    Finkel, Alain ; Gupta, Ekanshdeep ; et al.
    2019
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Handling infinitely branching well-structured transition systems
    McKenzie, Pierre ; Blondin, Michael ; et al.
    In: Information and Computation, Jg. 258 (2018-02-01), S. 28-49
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -